[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Automated Theorem Proving

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Theorem Proving Monty Newborn
Libristo-Code: 02174450
Verlag Springer-Verlag New York Inc., Mai 2013
This text and software package introduces readers to automated theorem proving, while providing two... Vollständige Beschreibung
? points 374 b
149.19 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Bound to Her Inka Loreen Minden / Broschur
common.buy 5.03 €
Ecological Dynamics of Tropical Inland Waters Jack F. TallingJacques Lemoalle / Broschur
common.buy 71.31 €
Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke / Broschur
common.buy 19.12 €
Innovating Government Simone van der Hof / Hardcover
common.buy 106.41 €
Moral Dilemmas in Medieval Thought M. V. Dougherty / Broschur
common.buy 56.88 €
Chihuahua Elaine Waldorf Gewirt / Broschur
common.buy 12.20 €
Cylinder Seals from the Collections of the Aleppo Museum, Sy Hamido Hammade / Broschur
common.buy 92.39 €
Charge Transport in DNA - Insights from Simulations Mario Wolter / Broschur
common.buy 88.06 €
Conversations and Desserts Anjanette Seymour / Broschur
common.buy 18.25 €

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.

Informationen zum Buch

Vollständiger Name Automated Theorem Proving
Autor Monty Newborn
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 231
EAN 9781461265191
ISBN 1461265193
Libristo-Code 02174450
Verlag Springer-Verlag New York Inc.
Gewicht 385
Abmessungen 155 x 235 x 14

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto