Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 02174450
Price: 126.09 EUR
Availability: InStock
Author: Monty Newborn
ISBN: 9781461265191

Theory and Practice

Monty Newborn

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 02174450

309 b

126.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Finance d'entreprise 6e édition Mohamed Akli Achabou

Broschur

72.49 €

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Buch

24.49 €

Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta

Hardcover

17.29 €

Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet

Broschur

31.39 €

Introducción a la moderna antropologa cultural BOCK

Broschur

13.89 €

ENTRELACS / INTERLACE HELLA JONGERIUS Buch

Buch

8.19 €

Dynamique paysanne et développement rural au Congo N'Kaloulou

Broschur

22.59 €

Panda Kalioujny

Hardcover

18.69 €

Un terrain contesté Tamir Sorek

Broschur

37.39 €

Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA

binding.

17.19 €

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

Broschur

12.99 €

Einfahrt Freihalden! Winfried G. Luible

Broschur

6.89 €

Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra

Broschur

13.49 €

Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt

Broschur

12.59 €

Der geheimnisvolle Planet... Arnd Stein

Audio CD

17.19 €

Bound to Her Inka Loreen Minden

Broschur

5.89 €

Fraulein von Scuderi E.T.A. Hoffmann

Broschur

9.90 €

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

Broschur

18.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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