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

Peter Baumgartner

Prix

Íkr 9.430,65

Commandé depuis un entrepôt distant

Livraison prévue 16 - 28 oct.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs

Meilleur classement sur Trustpilot

Ajouter à votre liste de souhaits iMusic

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

Médias	Livres Paperback Book (Livre avec couverture souple et dos collé)
Validé	18 décembre 1998
ISBN13	9783540655091
Éditeurs	Springer-Verlag Berlin and Heidelberg Gm
Pages	290
Dimensions	155 × 235 × 15 mm · 421 g
Langue et grammaire	English

Afficher tout

Plus par Peter Baumgartner

Voir tous les Peter Baumgartner ( par ex. Paperback Book , CD et Book )