- 5 Ergebnisse
Kleinster Preis: € 38,51, größter Preis: € 95,10, Mittelwert: € 62,09
1
Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 137,95
(ca. € 95,10)
Bestellen
Details und Versand
gesponserter Link

Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters - neues Buch

2012, ISBN: 9783642287169

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7180)
Bestellen
bei amazon.de
€ 59,16
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7180) - Taschenbuch

2012, ISBN: 9783642287169

Springer, Taschenbuch, Auflage: 2012, 460 Seiten, Publiziert: 2012-02-24T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 78 black & white illustrations, 1.41 kg, Informatik, IT-Ausbildung… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
zuklappen (X)
3
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Bjørner, Nikolaj und Andrei Voronkov
Bestellen
bei ZVAB.com
€ 42,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bjørner, Nikolaj und Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Taschenbuch

2012

ISBN: 3642287166

[EAN: 9783642287169], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SOFTWARE VERIFICATION,DESCRIPTION LOGICS,CONSTRAINT PROGRAMMING,ARTIFICIAL INTELLIGENCE,RESOURCE ANALYSIS… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
zuklappen (X)
4
Bestellen
bei buchfreund.de
€ 38,51
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Nikolaj Bjørner, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings 2012 - gebrauchtes Buch

2012, ISBN: 9783642287169

2012 Buchschnitt verkürzt - gepflegter, sauberer Zustand, Ausgabejahr 2012 11964246/12 Versandkostenfreie Lieferung software, verification, description, logics, constraint, programming,… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
5
Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner; Andrei Voronkov
Bestellen
bei lehmanns.de
€ 74,89
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Nikolaj Bjørner; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Erstausgabe

2012, ISBN: 9783642287169

Taschenbuch

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic for Programming, Artificial Intelligence, and Reasoning
Autor:
Titel:
ISBN-Nummer:

9783642287169


This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

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


EAN (ISBN-13): 9783642287169
ISBN (ISBN-10): 3642287166
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin
446 Seiten
Gewicht: 0,677 kg
Sprache: Englisch

Buch in der Datenbank seit 2009-03-02T16:51:59+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T11:31:22+01:00 (Zurich)
ISBN/EAN: 9783642287169

ISBN - alternative Schreibweisen:
3-642-28716-6, 978-3-642-28716-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov, vor, nikolaj
Titel des Buches: reasoning science, reason art, proceedings artificial intelligence conference, arti, merida, science 2012, art programming, venezuela, lecture notes artificial intelligence, artificial general intelligence, logic

Daten vom Verlag:

Autor/in: Nikolaj Bjørner; Andrei Voronkov
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Verlag: Springer; Springer Berlin
446 Seiten
Erscheinungsjahr: 2012-02-24
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 446 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; artificial intelligence; constraint programming; description logics; resource analysis of programs; software verification; Software Engineering; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Compilers and Interpreters; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
Up-to-date results Fast-track conference proceedings State-of-the-art research
< zum Archiv...