Tableau, Tableauresolution und Tableaugraphresolution

Ein neuer Weg zur Automatischen Deduktion
 
 
Merken
Teilen
Merken
Teilen
 
 
Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte...
lieferbar
versandkostenfrei

Bestellnummer: 79381992

Buch35.95
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
lieferbar
versandkostenfrei

Bestellnummer: 79381992

Buch35.95
In den Warenkorb
Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte...

Kommentar zu "Tableau, Tableauresolution und Tableaugraphresolution"

Andere Kunden kauften auch

PC-Wissen für Einsteiger

Kai Schwarz

0 Sterne
Buch

5.00

In den Warenkorb
lieferbar
Buch

34.99

In den Warenkorb
Erschienen am 12.10.2012
lieferbar

Driving Networked Service Productivity

Christofer F. Daiberl

0 Sterne
Buch

69.54

In den Warenkorb
lieferbar

The Age of Algorithms

Serge Abiteboul, Gilles Dowek

0 Sterne
Buch

20.90

In den Warenkorb
lieferbar

Talk to Me

James Vlahos

0 Sterne
Buch

13.45

In den Warenkorb
Erschienen am 19.03.2020
lieferbar
Buch

17.45

In den Warenkorb
Erschienen am 10.03.2020
lieferbar
Buch

71.90

In den Warenkorb
lieferbar

Business Development

Andreas Kohne

0 Sterne
Buch

32.99

In den Warenkorb
lieferbar
Buch

19.90

In den Warenkorb
Erschienen am 21.08.2019
lieferbar

Computer für Kids

Hans-Georg Schumann

0 Sterne
Buch

24.99

In den Warenkorb
lieferbar
Buch

24.99

In den Warenkorb
Erschienen am 11.04.2019
lieferbar

Industrielle Robotersysteme

Thomas Dietz, Andreas Pott

0 Sterne
Buch

37.99

In den Warenkorb
Erschienen am 04.07.2019
lieferbar

Mathematik für Informatiker für Dummies

Hans-Jürgen Steffens, Christian Zöllner, Kathrin Mühlmann

0 Sterne
Buch

27.99

In den Warenkorb
Erschienen am 02.10.2019
lieferbar
Buch

19.99

In den Warenkorb
Erschienen am 11.09.2019
lieferbar
Buch

181.89

In den Warenkorb
lieferbar

"Friendly Fire" im Kinderzimmer

Stefan Gesmann

0 Sterne
Buch

49.00

In den Warenkorb
lieferbar

E-Coaching für Führungskräfte

Carsten Jasorka, Falko Mayerl

0 Sterne
Buch

59.00

In den Warenkorb
lieferbar

Weitere Empfehlungen zu „Tableau, Tableauresolution und Tableaugraphresolution “

0 Gebrauchte Artikel zu „Tableau, Tableauresolution und Tableaugraphresolution“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung