. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540252368 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 48,21 €, größter Preis: 112,34 €, Mittelwert: 87,20 €
Logic for Programming, Artificial Intelligence, and Reasoning - Baader, Franz / Voronkov, Andrei (eds.)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Baader, Franz / Voronkov, Andrei (eds.):
Logic for Programming, Artificial Intelligence, and Reasoning - Taschenbuch

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

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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) - Taschenbuch

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

Neues Buch Amazon.de (Intern...
D B S
, Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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) - Taschenbuch

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

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
KELINDO³
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - Franz Baader
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Franz Baader:
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - Taschenbuch

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

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logic for Programming, Artificial Intelligence, and Reasoning - Franz Baader; Andrei Voronkov
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Franz Baader; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Taschenbuch

2005, ISBN: 9783540252368

ID: 6490781

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

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Logic for Programming, Artificial Intelligence, and Reasoning
Autor:

Franz Baader, Andrei Voronkov

Titel:

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN-Nummer:

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.

Detailangaben zum Buch - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783540252368
ISBN (ISBN-10): 3540252363
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag GmbH
580 Seiten
Gewicht: 0,971 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 05.06.2007 12:44:04
Buch zuletzt gefunden am 22.04.2017 09:14:01
ISBN/EAN: 9783540252368

ISBN - alternative Schreibweisen:
3-540-25236-3, 978-3-540-25236-8


< zum Archiv...
Benachbarte Bücher