Resolution proof systems
Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical Logic
Browse all genres - ISBN
- 0792340175
Resolution proof systems è un artificial intelligence, automatic theorem proving book di Zbigniew Stachniak.
Scopri Resolution proof systems di Zbigniew Stachniak, artificial intelligence.
Sull'Autore
è l'autore di Resolution proof systems. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Zbigniew Stachniak →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 è Resolution proof systems?+
Resolution proof systems è un libro di Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic.
Chi ha scritto Resolution proof systems?+
Resolution proof systems è stato scritto da Zbigniew Stachniak.