Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Dov M. Gabbay oder N. Olivetti oder Narinder Singh oder Peter Baumgartner oder Wolfgang Bibel

1. 

   eng

   Intelligent Computer Mathematics

   International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

   • Springer International Publishing
   • 2015

   • Taschenbuch
   • 384 Seiten

   53,49€

   in Kürze

   This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC…

2. 

   eng

   SAT 2005

   Satisfiability Research in the Year 2005

   • Springer Netherlands
   • 2014

   • Taschenbuch
   • 300 Seiten

   160,49€

   in Kürze

   This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general…

3. 

   eng

   Frontiers of Combining Systems

   First International Workshop, Munich, March 1996

   • Springer Netherlands
   • 2014

   • Taschenbuch
   • 408 Seiten

   53,49€

   in Kürze

   \- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor m…

4. 

   eng

   Logic and Algebra of Specification

   • Springer Berlin Heidelberg
   • 2014

   • Taschenbuch
   • 456 Seiten

   160,49€

   in Kürze

   For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logi…

5. 

   eng

   Narinder Singh

   An Artificial Intelligence Approach to Test Generation

   • Springer US
   • 2011

   • Taschenbuch
   • 212 Seiten

   106,99€

   in Kürze

   I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teache…

6. 

   eng

   Domenico Cantone / Alberto Policriti …

   Set Theory for Computing

   From Decision Procedures to Declarative Programming with Sets

   • Springer New York
   • 2011

   • Taschenbuch
   • 428 Seiten

   160,49€

   in Kürze

   An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates …

7. 

   eng

   Intellectics and Computational Logic

   Papers in Honor of Wolfgang Bibel

   • Springer Netherlands
   • 2010

   • Taschenbuch
   • 404 Seiten

   160,49€

   in Kürze

   `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to …

8. 

   eng

   N. Olivetti / Dov M. Gabbay

   Goal-Directed Proof Theory

   • Springer Netherlands
   • 2010

   • Taschenbuch
   • 284 Seiten

   106,99€

   in Kürze

   Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to com…

9. 

   eng

   Uwe Schöning

   Logic for Computer Scientists

   • Birkhäuser Boston
   • 2008

   • Taschenbuch
   • 180 Seiten

   64,19€

   in Kürze

   This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and f…

10. 

    eng

    N. Olivetti / Dov M. Gabbay

    Goal-Directed Proof Theory

    • Springer Netherlands
    • 2000

    • Gebunden
    • 284 Seiten

    106,99€

    in Kürze

    Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to com…

11. 

    eng

    Intellectics and Computational Logic

    Papers in Honor of Wolfgang Bibel

    • Springer Netherlands
    • 2000

    • Gebunden
    • 404 Seiten

    160,49€

    in Kürze

    `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to …

12. 

    eng

    Larry Wos / Gail W Pieper

    A Fascinating Country in the World of Computing

    Your Guide to Automated Reasoning

    • WSPC
    • 1999

    • Gebunden
    • 608 Seiten

    153,70€

    in Kürze

    This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book inclu…

13. 

    eng

    Peter Baumgartner

    Theory Reasoning in Connection Calculi

    • Springer Berlin Heidelberg
    • 1998

    • Taschenbuch
    • 300 Seiten

    53,49€

    in Kürze

    The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional d…

14. 

    eng

    Kenneth A. Loparo

    Collegium Logicum

    • Springer Vienna
    • 1995

    • Taschenbuch
    • 136 Seiten

    53,49€

    in Kürze

    Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel¿s Unpublished Philosophical Manuscr…

15. 

    eng

    Logic and Algebra of Specification

    • Springer Berlin Heidelberg
    • 1993

    • Gebunden
    • 456 Seiten

    160,49€

    in Kürze

    For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logi…

16. 

    eng

    Narinder Singh

    An Artificial Intelligence Approach to Test Generation

    • Springer US
    • 1987

    • Gebunden
    • 212 Seiten

    106,99€

    in Kürze

    I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teache…

17. 

    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 …