Gebundenes BuchAutomated Theorem Proving: Theory and Practice Versandkostenfrei!Versandfertig in über 4 Wochen148,99 €inkl. MwSt. Jetzt bewerten In den Warenkorb PAYBACK Punkte 74 °P sammeln! BewertungProduktdetails ProduktdetailsVerlag: Willford PressSeitenzahl: 210Erscheinungstermin: 25. August 2025 EnglischISBN-13: 9781647286798ISBN-10: 1647286794Artikelnr.: 74903187HerstellerkennzeichnungLibri GmbHEuropaallee 136244 Bad Hersfeldgpsr@libri.de Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst! Eine Bewertung schreiben Andere Kunden interessierten sich für Monty Newborn Automated Theorem Proving 159,99 € Norman Rubin A Hierarchical Technique for Mechanical … 29,99 € Mani Prasard … Generating Test Templates via Automated … 28,99 € Richard J. Lipton The P=np Question and Gödel's Lost Letter 76,99 € John Harrison Theorem Proving with the Real Numbers 76,99 € Johann M. … Automated Theorem Proving in Software … 38,99 € Subrata Das Foundations of Decision-Making Agents: … 132,99 € Raymond Turner Computable Models 52,99 € Zhaohui Luo, Zhaohui … Computation and Reasoning - A Type … 108,99 € Alexandre … A Proof Theory for Description Logics 38,99 €
