ID:DA00406413
Siekmann, J. H.
同姓同名の著者を検索
volume edited by Jörg H. Siekmann
North Holland 2014 1st ed Handbook of the history of logic v. 9
所蔵館13館
Matthew W. Crocker, Jörg Siekmann (Eds.)
Springer c2010 Cognitive technologies
所蔵館1館
Zili Zhang, Jörg Siekmann (eds.)
Springer c2007 Lecture notes in computer science 4798 . Lecture Notes in Artificial Intelligence
所蔵館2館
Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (eds.)
Springer c2007 Lecture notes in computer science 4429 . Lecture notes in artificial intelligence
所蔵館4館
edited by Jörg H. Siekmann
Springer-Verlag c1986 Lecture notes in computer science 230
: gw , : us
所蔵館55館
Springer-Verlag 1983 Symbolic computation . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2
1957-1966 , 1967-1970
所蔵館32館
Springer-Verlag 1981 Informatik-Fachberichte 47
所蔵館15館
