volume edited by Jörg H. Siekmann

North Holland 2014 1st ed Handbook of the history of logic v. 9

所蔵館12館

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

所蔵館53館

Springer-Verlag 1983 Symbolic computation . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2

1957-1966 , 1967-1970

所蔵館32館

edited by Jörg H. Siekmann

Springer-Verlag 1981 Informatik-Fachberichte 47

所蔵館15館