Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition

Peter Baumgartner

Preis

€ 64,99

Bestellware

Lieferdatum: ca. 29. Mai - 10. Jun

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition

Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems.

290 pages, biography

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	18. Dezember 1998
ISBN13	9783540655091
Verlag	Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl	290
Maße	155 × 235 × 15 mm · 421 g
Sprache	Englisch

Alle anzeigen

Weitere Titel von Peter Baumgartner

Alle Titel von Peter Baumgartner ansehen ( u. a. Taschenbuch , CD und Buch )