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

Peter Baumgartner

Price

Íkr 9,119

Ordered from remote warehouse

Expected delivery Jul 10 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 18, 1998
ISBN13	9783540655091
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	290
Dimensions	155 × 235 × 15 mm · 421 g
Language	English

Show all

More by Peter Baumgartner

See all of Peter Baumgartner ( e.g. Paperback Book , CD and Book )