. .
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 9783642162411 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: 74,49 €, größter Preis: 112,34 €, Mittelwert: 104,76 €
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ...
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... - gebrauchtes Buch

2010, ISBN: 9783642162411

ID: 12c9b491dac1eaff70ebddc30d8634cd

This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ). The call for papers This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science., [PU: Springer, Berlin/Heidelberg/New York, NY]

gebrauchtes bzw. antiquarisches Buch Medimops.de
Nr. M0364216241X Versandkosten:, 3, DE. (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 - Christian G. Fermüller
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christian G. Fermüller:
Logic for Programming, Artificial Intelligence, and Reasoning - Taschenbuch

2010, ISBN: 9783642162411

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo Sutcli e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the rst time in the ARCoSS subline of the Lecture Notes in Computer Science., DE, [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, 656, [GW: 938g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (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 - Springer
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Springer:
Logic for Programming, Artificial Intelligence, and Reasoning - neues Buch

2010, ISBN: 9783642162411

ID: f44318405355b0675a2aaf3ddd1fcc61

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10 15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-642-16241-1, Springer

Neues Buch Buch.de
Nr. 23945760 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (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 - Christian G. Fermüller; Andrei Voronkov
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christian G. Fermüller; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Taschenbuch

2010, ISBN: 9783642162411

ID: 14877007

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings, 2010, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (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 - Christian Fermüller; Andrei Voronkov
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christian Fermüller; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Taschenbuch

2010, ISBN: 9783642162411

ID: 14877007

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings, 2010, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , 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:

Christian G. Fermüller

Titel:

Logic for Programming, Artificial Intelligence, and Reasoning

ISBN-Nummer:

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

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


EAN (ISBN-13): 9783642162411
ISBN (ISBN-10): 364216241X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
656 Seiten
Gewicht: 0,938 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 22.05.2007 00:08:53
Buch zuletzt gefunden am 07.07.2017 16:20:11
ISBN/EAN: 9783642162411

ISBN - alternative Schreibweisen:
3-642-16241-X, 978-3-642-16241-1


< zum Archiv...
Benachbarte Bücher