"automated theorem proving"

8 résultats

Trier par :

Couverture du produit · Principles of Automated Theorem Proving

Livre Principles of Automated Theorem Proving

Couverture du produit · Automated Theorem Proving: A Logical Basis

Livre Automated Theorem Proving: A Logical Basis

Donald W. Loveland

Couverture du produit · Automated Theorem Proving in Software Engineering

Livre Automated Theorem Proving in Software Engineering

Johann M. Schumann et D. Loveland

Couverture du produit · Automated Theorem Proving: After 25 Years

Livre Automated Theorem Proving: After 25 Years

W. W Bledsoe et Donald W. Loveland

Couverture du produit · Automated Theorem-proving in Non-classical Logics

Automated Theorem-proving in Non-classical Logics

Paul B. Thistlewaite, Michael A. McRobbie et Robert K. Meyer

Couverture du produit · First-Order Logic and Automated Theorem Proving

Livre First-Order Logic and Automated Theorem Proving

Couverture du produit · First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Livre First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Couverture du produit · Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers

Livre Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers

Graham Birtwistle et P. A. Subrahmanyam

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte