Catalog > Naturwissenschaft > Informatik > Anwendungs-Software > Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

Franz Baader & Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning [PDF ebook]
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Support

Cover von Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

€115.42

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783540322757 ● Herausgeber Franz Baader & Andrei Voronkov ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2005 ● herunterladbar 3 mal ● Währung EUR ● ID 6357008 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Franz Baader Andrei Voronkov

16.941 Ebooks in dieser Kategorie

Cover von Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Cover von Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …

Cover von Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Cover von Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Cover von Scott Meyers: Effective C++ Digital Collection

Scott Meyers: Effective C++ Digital Collection

Scott Meyers’s seminal C++ books– Effective C++ , More Effective C++ , and Effective STL –have been immensely helpful to hundreds of thousands of C++ programmers. All three are finally available toge …

Cover von Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‚… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Cover von Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …

Cover von Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Information technology (IT) projects are unsuccessful at a rate of 65% to 75% annually, in spite of those undertaking these projects employing the latest technologies and spending significant amount …

Cover von Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

Cover von Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

nächste Seite >>>