First-order logic and automated theorem proving / Melvin Fitting

2. ed.

Englisch

New York ; Heidelberg [u.a.] : Springer, 1996

XVI, 326 S : graph. Darst ; 25 cm

Einführung; Lehrbuch

Literaturverz. S. [315] - 318

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

978-1-4612-7515-2

0-387-94593-8 New York : hardcover : alk. paper

Weitere Ausgaben: 978-1-4612-2360-3 (Fernzugriff)

9780387945934

*Prädikatenlogik / Stufe 1 / Automatisches Beweisverfahren

*Automatic theorem proving ; Logic, Symbolic and mathematical

Klassifikation der Library of Congress: QA76.9.A96

Dewey Dezimal-Klassifikation: 511.3

Regensburger Verbund-Klassifikation: ST 304: SQ-SU Informatik / ST Monografien / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Mathematics Subject Classification: *68T15

Mathematics Subject Classification: 68-01

Mathematics Subject Classification: 03B10

Mathematics Subject Classification: 03B35

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

Potsdamer Straße