Skip to main content

Computational logic and proof theory

0.0
Automatic theorem provingSymbolic and mathematical Logic
Browse all genres
ISBN
0387571841

Computational logic and proof theory è un automatic theorem proving, symbolic and mathematical logic book di Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).

Scopri Computational logic and proof theory di Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), automatic theorem proving.

Sull'Autore

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) è l'autore di Computational logic and proof theory. Esplora il suo catalogo completo su Booklogr.

Edizioni e Formati

Recensioni

Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.

Accedi Accedi per scrivere una recensione

Domande Frequenti

Di che genere è Computational logic and proof theory?+

Computational logic and proof theory è un libro di Automatic theorem proving, Symbolic and mathematical Logic.

Chi ha scritto Computational logic and proof theory?+

Computational logic and proof theory è stato scritto da Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).