close
1.

電子ブック

EB
edited by Gilles Barthe, Manuel Hermenegildo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5944
オンライン: http://dx.doi.org/10.1007/978-3-642-11319-2
所蔵情報: loading…
2.

電子ブック

EB
edited by Daniel Cabeza, Manuel Hermenegildo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3350
オンライン: http://dx.doi.org/10.1007/b105205
所蔵情報: loading…
3.

図書

図書
Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 982
所蔵情報: loading…
4.

図書

図書
Manuel Hermenegildo, Jaan Penjam, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 844
所蔵情報: loading…
5.

図書

図書
edited by Saumya Debray and Manuel Hermenegildo
出版情報: Cambridge, Mass : MIT Press, c1990
シリーズ名: Logic programming
所蔵情報: loading…