Books

  1. Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings (Lecture Notes in Computer Science S.)
    Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings (Lecture Notes in Computer Science S.)
  2. Cooperative Information Agents - Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet v. 2 (Lecture Notes in Computer Science S.)
    Cooperative Information Agents - Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet v. 2 (Lecture Notes in Computer Science S.)
  3. Multimedia Information Analysis and Retrieval: Iapr International Workshop, Minar '98, Hong Kong, China, August 13-14, 1998: Proceedings (Lecture Notes in Computer Science S.)
    Multimedia Information Analysis and Retrieval: Iapr International Workshop, Minar '98, Hong Kong, China, August 13-14, 1998: Proceedings (Lecture Notes in Computer Science S.)
  4. Logic Programming and Knowledge Representation: Proceedings of the 3rd International Workshop (Lecture Notes in Computer Science S.)
    Logic Programming and Knowledge Representation: Proceedings of the 3rd International Workshop (Lecture Notes in Computer Science S.)
  5. Pricai'98: Topics in Artificial Intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : Proceedings
    Pricai'98: Topics in Artificial Intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : Proceedings
  6. Morphological Image Processing: Principles and Applications
    Morphological Image Processing: Principles and Applications
  7. Discrete Geometry for Computer Imagery: 8th International Conference, Dgci '99, Marne-La-Valle, France, March 17-19, 1999: Proceedings (Lecture Notes in Computer Science S.)
    Discrete Geometry for Computer Imagery: 8th International Conference, Dgci '99, Marne-La-Valle, France, March 17-19, 1999: Proceedings (Lecture Notes in Computer Science S.)
  8. Advanced Multimedia Content Processing: First International Conference, Amcp'98, Osaka, Japan, November 9-11, 1998: Proceedings (Lecture Notes in Computer Science S.)
    Advanced Multimedia Content Processing: First International Conference, Amcp'98, Osaka, Japan, November 9-11, 1998: Proceedings (Lecture Notes in Computer Science S.)
  9. Multiagent Platforms: First Pacific Rim International Workshop on Multi-agents, PRIMA '98, Singapore, November 23, 1998 - Selected Papers (Lecture Notes in Artificial Intelligence)
    Multiagent Platforms: First Pacific Rim International Workshop on Multi-agents, PRIMA '98, Singapore, November 23, 1998 - Selected Papers (Lecture Notes in Artificial Intelligence)
  10. Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3, 1999 - Proceedings (Lecture Notes in Artificial Intelligence)
    Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3, 1999 - Proceedings (Lecture Notes in Artificial Intelligence)
  11. Automated Reasoning with Analytic Tableaux and Related Methods: Proceedings of the International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 (Lecture Notes in Artificial Intelligence)
    Automated Reasoning with Analytic Tableaux and Related Methods: Proceedings of the International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 (Lecture Notes in Artificial Intelligence)
  12. Inductive Logic Programming: International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 - Proceedings 9th (Lecture Notes in Artificial Intelligence)
    Inductive Logic Programming: International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 - Proceedings 9th (Lecture Notes in Artificial Intelligence)
  13. View Synthesis Using Stereo Vision (Lecture Notes in Computer Science)
    View Synthesis Using Stereo Vision (Lecture Notes in Computer Science)
  14. New Directions in Rough Sets, Data Mining, and Granular-soft Computing: 7th International Workshop, RSFDGrC '99, Yamaguchi, Japan, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science)
    New Directions in Rough Sets, Data Mining, and Granular-soft Computing: 7th International Workshop, RSFDGrC '99, Yamaguchi, Japan, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science)
  15. Automata Implementation: Third International Workshop on Implementing Automata, WIA '98, Rouen, France, September 17-19, 1998, Revised Papers (Lecture Notes in Computer Science)
    Automata Implementation: Third International Workshop on Implementing Automata, WIA '98, Rouen, France, September 17-19, 1998, Revised Papers (Lecture Notes in Computer Science)
  16. Agent-oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)
    Agent-oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)
  17. Shape, Contour and Grouping in Computer Vision (Lecture Notes in Computer Science)
    Shape, Contour and Grouping in Computer Vision (Lecture Notes in Computer Science)
  18. The Theory of Evolution Strategies (Natural Computing S.)
    The Theory of Evolution Strategies (Natural Computing S.)
  19. Hybrid Neural Systems (Lecture Notes in Computer Science S.)
    Hybrid Neural Systems (Lecture Notes in Computer Science S.)
  20. Evolvable Systems: From Biology to Hardware - Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings (Lecture Notes in Computer Science)
    Evolvable Systems: From Biology to Hardware - Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings (Lecture Notes in Computer Science)
  21. Genetic Programming: European Conference, Eurogp 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings 3rd (Lecture Notes in Computer Science)
    Genetic Programming: European Conference, Eurogp 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings: European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings 3rd (Lecture Notes in Computer Science)
  22. Advances in Artificial Intelligence: Sixth Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Selected Papers (Lecture Notes in Computer Science)
    Advances in Artificial Intelligence: Sixth Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Selected Papers (Lecture Notes in Computer Science)
  23. Real-world Applications of Evolutionary Computing: Evoworkshops 2000: Evoiasp, Evoscondi, Evotel, Evostim, Evorob, and Evoflight, Edinburgh, Scotland, UK, April 17, 2000 Proceedings: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000, Proceedings (Lecture Notes in Computer Science)
    Real-world Applications of Evolutionary Computing: Evoworkshops 2000: Evoiasp, Evoscondi, Evotel, Evostim, Evorob, and Evoflight, Edinburgh, Scotland, UK, April 17, 2000 Proceedings: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000, Proceedings (Lecture Notes in Computer Science)
  24. Verbmobil: Foundations of Speech-to-Speech Translation (Artificial Intelligence S.)
    Verbmobil: Foundations of Speech-to-Speech Translation (Artificial Intelligence S.)
  25. Inductive Logic Programming: 10th International Conference, Ilp 2000, London, UK, July 24-27, 2000, Proceedings (Lecture Notes in Computer Science S.)
    Inductive Logic Programming: 10th International Conference, Ilp 2000, London, UK, July 24-27, 2000, Proceedings (Lecture Notes in Computer Science S.)
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)
Average customer rating: Not rated
    		Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)

    Manufacturer: Springer
    ProductGroup: Book
    Binding: Paperback

    Expert SystemsExpert Systems | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
    GeneralGeneral | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
    Theory of ComputingTheory of Computing | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
    Computer MathematicsComputer Mathematics | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
    AutomataAutomata | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
    Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
    LogicLogic | Programming | Computers & Internet | Subjects | Books
    GeneralGeneral | Computers & Internet | Subjects | Books
    Logic & LanguageLogic & Language | Philosophy | Nonfiction | Subjects | Books
    GeneralGeneral | Science | Subjects | Books
    LogicLogic | Pure Mathematics | Mathematics | Science | Subjects | Books
    LogicLogic | Pure Mathematics | Mathematics | Professional Science | Professional & Technical | Subjects | Books
    All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
    Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
    NonfictionNonfiction | Amazon Upgrade | Stores | Books
    Professional & TechnicalProfessional & Technical | Amazon Upgrade | Stores | Books
    ScienceScience | Amazon Upgrade | Stores | Books
    Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
    Expert SystemsExpert Systems | Business | Software Books | Custom Stores | Stores | Software
    Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
    ASIN: 3540646752

    Book Description

    This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

    Books:

    1. Intelligent Systems Design: Integrating Expert Systems, Hypermedia and Database Technologies
    2. High Performance VLSI Signal Processing: Algorithms and Architectures Vol 1
    3. Empirical Evaluation Techniques in Computer Vision
    4. Entropy in Control Engineering: v. 12 (Series in Intelligent Control & Intelligent Automation)
    5. Applying Soft Computing in Defining Spatial Relations (Studies in Fuzziness & Soft Computing S.)
    6. Designing Distributed Learning Environments with Intelligent Software Agents
    7. Digital Filters and Signal Processing in Electronic Engineering: Theory, Applications, Architecture, Code
    8. Incomplete Information: Structure, Inference, Complexity (EATCS Monographs in Theoretical Computer Science S.)
    9. Developments in Applied Artificial Intelligence: 15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/Aie 2002, Cairns, Australia, June 17-20, 2002. Proceedings (Lecture Notes in Computer Science)
    10. Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings (Lecture Notes in Computer Science S.)

    Books