Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Product Description
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Technical Specifications
You might also like
Margot La Vampire Roman Inédit (Litterature) (French Edition)
François de Guise Drame En 3 Actes Et En Vers (Arts) (French Edition)
Rapport adressé à M. Rouvier résident général de France à Tunis: sur les cultures fruitières et en particulier sur la culture de l'olivier (Savoirs Et Traditions) (French Edition)
Opposition Aux Erreurs Sur La Science Médicale Ou Les Médecins Défendus Dans Leurs Principes Moraux: Et La Stabilité Des Dogmes de Leur Art Opposée Aux Idées Subversives (French Edition)
Catéchisme politique de la constitution de la monarchie espagnole: destiné à éclairer le peuple à instruire la jeunesse et à l'usage des écoles primaires (Histoire) (French Edition)
Triglotte Classique Commencement de la Panglotte Dictionnaire Étymologique (Langues) (French Edition)
Défense de Châteaudun dans la journée du 18 octobre 1870 incendies de Varize et de Civry 3e édition (Histoire) (French Edition)
Henry Monnier (Arts) (French Edition)