Yazar
jorg siekmann
16 cilt bulundu.
Jorg H. Siekmann · Springer
708 sayfa · 1986
Congresses / Symbolic and mathematical Logic / Automatic theorem proving
Jörg H. Siekmann · Springer
724 sayfa · 1986
Automatic theorem proving / Logic, symbolic and mathematical
J. G. Carbonell, Jörg Siekmann · Springer
415 sayfa · 1995
Computer science / Artificial intelligence / Computer software / Computational learning theory / Congresses
Jörg H. Siekmann, Dieter Hutter, Werner Stephan · Springer London, Limited
565 sayfa · 2005
Automatic theorem proving / Technique / Symbolic and mathematical Logic / Reasoning / Automation
Ruqian Lu, Jörg Siekmann, Carsten Ullrich · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok
Jörg H. Siekmann, Dieter Hutter, Werner Stephan · Springer
563 sayfa · 2005
Automatic theorem proving / Technique / Symbolic and mathematical Logic / Reasoning / Automation
W. Bibel, Norbert Eisinger, Josef Schneeberger, Jörg Siekmann · Springer Berlin / Heidelberg
Sayfa sayısı yok · 1987
Kategori yok
W. Bibel, Norbert Eisinger, Josef Schneeberger, Jörg Siekmann · Springer Berlin Heidelberg
Sayfa sayısı yok · 1987
Projekt / Studium / Länder, Gebiete, Völker // Bundesrepublik Deutschland / Hochschulführer / Künstliche Intelligenz
Dov M. Gabbay, Jörg H. Siekmann, John Woods · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Logic