"automated proof search in non classical logics efficient matrix proof methods for modal and intuitionistic logics"

108917 résultats

Trier par :

Vous devez être majeur pour voir la couverture des produits pour adultes.

Couverture du produit · Termination Proofs for Logic Programs

Livre Termination Proofs for Logic Programs Lutz Plümer

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

Livre Automated Theorem-proving in Non-classical Logics Paul B. Thistlewaite, Michael A. McRobbie et Robert K. Meyer

Couverture du produit · Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

Livre Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems Jing-zhong Zhang, Shang-ching Chou et Xiaoshan Gao

Couverture du produit · Proof

Livre Proof Dick Francis

Couverture du produit · Proof

Livre Proof Dick Francis

Couverture du produit · Automated Deduction in Multiple-Valued Logics

Livre Automated Deduction in Multiple-Valued Logics Reiner Hähnle

Couverture du produit · Advances in Modal Logic Volume 7

Livre Advances in Modal Logic Volume 7 Carlos Areces et Robert Goldblatt

Couverture du produit · Living Proof

CD Living Proof Buddy Guy

Couverture du produit · Proof [Import]

DVD Proof [Import]

Couverture du produit · Baby Proof

Livre Baby Proof Emily Giffin

Couverture du produit · Absolute Proof*

Livre Absolute Proof* James Peter

Couverture du produit · Living Proof

CD Living Proof Cher

Couverture du produit · Living Proof

CD Living Proof Cher

Couverture du produit · Hacker Proof

Livre Hacker Proof Kris Jamsa et Lars Klander

Couverture du produit · Logic for Concurrency and Synchronisation

Livre Logic for Concurrency and Synchronisation R.J. De Queiroz

Couverture du produit · Living Proof

Livre Living Proof John Harvey

Couverture du produit · Love And Logic

CD Love And Logic Sons Of Bill

Couverture du produit · Logic and Prolog

Livre Logic and Prolog Richard Spencer-Smith

Couverture du produit · Logic for Problem Solving

Livre Logic for Problem Solving Robert A. Kowalski

Couverture du produit · Rest Proof Clockwork

CD Rest Proof Clockwork Plaid

Couverture du produit · Proof Of Youth

CD Proof Of Youth The Go! Team

Couverture du produit · Rest Proof Clockwork

CD Rest Proof Clockwork Plaid

Couverture du produit · Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory

Livre Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory M.M. Richter, E. Borger, Walter Oberschelp, W. Thomas et B. Schinzel

Couverture du produit · VHDL for Logic Synthesis

Livre VHDL for Logic Synthesis Andrew Rushton

Résultats par page :

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