- 5 Results
Lowest price: € 38.51, highest price: € 95.10, average price: € 62.09
1
Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters
Order
at Indigo.ca
C$ 137.95
(aprox. € 95.10)
Order
Details & Shipping
Sponsored link

Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters - new book

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… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (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)
Order
at amazon.de
€ 59.16
Shipment: € 3.001
Order
Provider details
Sponsored 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) - Paperback

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… More...

Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
close (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
Order
at ZVAB.com
€ 42.79
Shipment: € 0.001
Order
Provider details
Sponsored 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 - Paperback

2012

ISBN: 3642287166

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

NOT NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
close (x)
4
Order
at buchfreund.de
€ 38.51
Shipment: € 0.001
Order
Provider details
Sponsored 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 - used book

2012, ISBN: 9783642287169

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

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
close (x)
5
Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner; Andrei Voronkov
Order
at lehmanns.de
€ 74.89
Shipment: € 0.001
Order
Provider details
Sponsored link
Nikolaj Bjørner; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - First edition

2012, ISBN: 9783642287169

Paperback

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

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Logic for Programming, Artificial Intelligence, and Reasoning
Author:
Title:
ISBN:

3642287166


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.

Details of the book - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642287169
ISBN (ISBN-10): 3642287166
Hardcover
Paperback
Publishing year: 2012
Publisher: Springer Berlin
446 Pages
Weight: 0,677 kg
Language: Englisch

Book in our database since 2009-03-02T15:51:59+00:00 (London)
Detail page last modified on 2024-03-25T10:31:22+00:00 (London)
ISBN/EAN: 3642287166

ISBN - alternate spelling:
3-642-28716-6, 978-3-642-28716-9
Alternate spelling and related search-keywords:
Book author: voronkov, vor, nikolaj
Book title: reasoning science, reason art, proceedings artificial intelligence conference, arti, merida, science 2012, art programming, venezuela, lecture notes artificial intelligence, artificial general intelligence, logic

Information from Publisher

Author: Nikolaj Bjørner; Andrei Voronkov
Title: 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
Publisher: Springer; Springer Berlin
446 Pages
Publishing year: 2012-02-24
Berlin; Heidelberg; DE
Printed / Made in
Language: English
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
< to archive...