Vertel uw vrienden over dit artikel:
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science Peter Baumgartner 1998 edition
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science
Peter Baumgartner
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 18 december 1998 |
| ISBN13 | 9783540655091 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 290 |
| Afmetingen | 155 × 235 × 15 mm · 421 g |
| Taal en grammatica | Engels |
Meer door Peter Baumgartner
Alles tonenMeer van dezelfde uitgever
Bekijk alles van Peter Baumgartner ( bijv. Paperback Book , Book en CD )