Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science - Peter Baumgartner - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540655091 - 18 december 1998
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 6 - 14 aug.
Ontvang meldingen over nieuwe releases van Peter Baumgartner
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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 tonen

Meer van dezelfde uitgever