595128122

Instantiation theory : on the foundations of automated deduction / J. G. Williams

Englisch

Berlin [u.a.] : Springer, 1991

Online-Ressource (VIII, 133 S.)

Literaturverz. S. [128] - 133

Druckausg.: Instantiation theory. - Berlin : Springer, 1991. - VIII, 133 Seiten

978-3-540-47561-3

Weitere Ausgaben: 3-540-54333-3 (Druckausgabe), 978-3-540-54333-6 (Druckausgabe)

DOI: 10.1007/BFb0031932

*Instantiierung

*Computer science ; Computer software ; Algebra -- Data processing ; Artificial intelligence ; Logic, Symbolic and mathematical

*Mathematical Logic and Formal Languages ; Programming Techniques ; Symbolic and Algebraic Manipulation ; Computer Science ; Mathematical Logic and Foundations ; Artificial Intelligence (incl. Robotics) ; Algorithm Analysis and Problem Complexity

Dewey Dezimal-Klassifikation: 511.3;

Regensburger Verbund-Klassifikation: ST 304: SQ-SU Informatik / ST Monografien / ST 300-ST 308 Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Mathematics Subject Classification: *68T15

Mathematics Subject Classification: 68Q99

Mathematics Subject Classification: 03B35

Mathematics Subject Classification: 68-02

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

https://zbmath.org/?q=an:0785.68084 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/BFb0031932 [E-books (Springer)]