Ebooks d'Anela Lolic en PDF et EPUB

1 Livre(s)
Télécharger le livre : First-Order Schemata and Inductive Proof Analysis
Ajouter à ma liste d'envies
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna , Alexander Leitsch , Anela Lolic
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-order inference systems. Based on general first-order schemata,...

Editeur : Birkhäuser
Parution : 2026-01-01

PDF, ePub

168,79 €