. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 48,21 €, prix le plus élevé: 112,34 €, prix moyen: 87,20 €
Logic for Programming, Artificial Intelligence, and Reasoning - Baader, Franz / Voronkov, Andrei (eds.)
Livre non disponible
(*)
Baader, Franz / Voronkov, Andrei (eds.):
Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2005, ISBN: 9783540252368

[ED: Softcover], [PU: Springer, Berlin], This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess. But the most important work was, of course, done by the 34 PC members and their external reviewers, who provided high-quality reviews. After intense discussions to resolve con?icts among the reviewers, the Program Committee decided to accept 33 papers. The conference program also included 4 invited talks, by Jurgen Giesl, Al- ander Leitsch, Helmut Seidl, and Igor Walukiewicz, which are documented by short or extended abstracts in these proceedings. In addition, Mart ?n Abadi held a tutorial on Reasoning About Security Protocols, and Ian Horrocks on Description Logic Reasoning. 2005. xii, 560 S. XI, 562 p. Also available online. 235 mm Versandfertig in 3-5 Tagen, [SC: 0.00], Neuware, gewerbliches Angebot

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science) - Franz Baader, Andrei Voronkov
Livre non disponible
(*)
Franz Baader, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2005, ISBN: 3540252363

Taschenbuch, [EAN: 9783540252368], Springer Berlin Heidelberg, Springer Berlin Heidelberg, Book, [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Nouveaux livres Amazon.de (Intern...
D B S
, Neuware Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science) - Franz Baader, Andrei Voronkov
Livre non disponible
(*)
Franz Baader, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2005, ISBN: 3540252363

Taschenbuch, [EAN: 9783540252368], Springer Berlin Heidelberg, Springer Berlin Heidelberg, Book, [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

livre d'occasion Amazon.de (Intern...
KELINDO³
Gebraucht Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - Franz Baader
Livre non disponible
(*)
Franz Baader:
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - Livres de poche

2005, ISBN: 9783540252368

ID: 9783540252368

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Logic-for-Programming-Artificial-Intelligence-and-Reasoning~~Franz-Baader Technology Programming>Xxxsoftware Engr>* Desc Unknown Paperback, Springer Berlin Heidelberg

Nouveaux livres Barnesandnoble.com
new Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Logic for Programming, Artificial Intelligence, and Reasoning - Franz Baader; Andrei Voronkov
Livre non disponible
(*)
Franz Baader; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Livres de poche

2005, ISBN: 9783540252368

ID: 6490781

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, 2005, Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Logic for Programming, Artificial Intelligence, and Reasoning
Auteur:

Franz Baader, Andrei Voronkov

Titre:

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN:

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

Informations détaillées sur le livre - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783540252368
ISBN (ISBN-10): 3540252363
Livre de poche
Date de parution: 2005
Editeur: Springer-Verlag GmbH
580 Pages
Poids: 0,971 kg
Langue: eng/Englisch

Livre dans la base de données depuis 05.06.2007 12:44:04
Livre trouvé récemment le 22.04.2017 09:14:01
ISBN/EAN: 9783540252368

ISBN - Autres types d'écriture:
3-540-25236-3, 978-3-540-25236-8


< pour archiver...
Livres en relation