by
Holldobler, Steffen, 1957-
Author
Holldobler, Steffen, 1957-, Lutz, Carsten, 1971-, Wansing, H. (Heinrich)
Format:
Call Number
Q334 L63 2008
Publisher
Springer,
Publication Date
2008
ISBN
9783540878025
Holds:
Copies:
by
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)
Author
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Baumgartner, Peter, Hahnle, Reiner, Posegga, Joachim
Format:
Call Number
QA76.9.A96 I73 1995
Publisher
Springer,
Publication Date
1995
ISBN
9783540593386
Holds:
Copies:
by
International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.)
Author
International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), Ras, Zbigniew W., University of North Carolina at Charlotte
Format:
Call Number
Q334 I573 1989
Publisher
North-Holland,
Publication Date
1989
ISBN
9780444015167
Holds:
Copies:
Select an Action