Trefferliste "First-orderlogic(FOL)" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "first-orderlogic(FOL)" finden. Könnten diese Produkte zu Ihrer Suche passen?

Alexander Leitsch, David Michael Cerna, Anela Lolic

First-Order Schemata and Inductive Proof Analysis

Computer Science Foundations and Applied Logic

Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23* Aktueller Preis: EUR 175,23

Artikel merken

In den Warenkorb

Menge ändern