Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Domenico Cantone oder Tru Hoang Cao oder Dan Corbett oder Jacques Fleuriot oder Eugenio G. Omodeo

1. 

   eng

   Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

   • Springer Netherlands
   • 1998

   • Gebunden
   • 452 Seiten

   213,99€

   in Kürze

   1\. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that le…

2. 

   eng

   Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

   • Springer Netherlands
   • 1998

   • Gebunden
   • 356 Seiten

   160,49€

   in Kürze

   We are invited to deal with mathematical activity in a sys­ tematic way [ ... ] one does expect and look for pleasant surprises in this requirement o…

3. 

   eng

   Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies

   • Springer Netherlands
   • 1990

   • Gebunden
   • 526 Seiten

   213,99€

   in Kürze

   The purpose of this book is to introduce and explain research at the boundary between two fields that view problem solving from different perspective…

4. 

   eng

   Wolfgang Bibel / J. P. Delgrande …

   Fundamentals of Artificial Intelligence

   An Advanced Course

   • Springer Berlin Heidelberg
   • 1986

   • Taschenbuch
   • 328 Seiten

   53,49€

   in Kürze

   This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in …