- 5 Resultados
precio mínimo: € 38,51, precio máximo: € 95,10, precio promedio: € 62,09
1
Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters
Pedir
por Indigo.ca
C$ 137,95
(aprox. € 95,10)
Pedir
Detalles y envío
Enlace patrocinado

Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters - libro nuevo

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… Más…

new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío
cerrar (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)
Pedir
por amazon.de
€ 59,16
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
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) - Pasta blanda

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… Más…

Gastos de envío:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
cerrar (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
Pedir
por ZVAB.com
€ 42,79
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
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 - Pasta blanda

2012

ISBN: 3642287166

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

NOT NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
cerrar (X)
4
Pedir
por buchfreund.de
€ 38,51
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
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 - libro usado

2012, ISBN: 9783642287169

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

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
cerrar (X)
5
Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner; Andrei Voronkov
Pedir
por lehmanns.de
€ 74,89
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Nikolaj Bjørner; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Primera edición

2012, ISBN: 9783642287169

Pasta blanda

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

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Logic for Programming, Artificial Intelligence, and Reasoning
Autor:
Título:
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.

Detalles del libro - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642287169
ISBN (ISBN-10): 3642287166
Tapa dura
Tapa blanda
Año de publicación: 2012
Editorial: Springer Berlin
446 Páginas
Peso: 0,677 kg
Idioma: Englisch

Libro en la base de datos desde 2009-03-02T16:51:59+01:00 (Madrid)
Página de detalles modificada por última vez el 2024-03-25T11:31:22+01:00 (Madrid)
ISBN/EAN: 3642287166

ISBN - escritura alterna:
3-642-28716-6, 978-3-642-28716-9
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: voronkov, vor, nikolaj
Título del libro: reasoning science, reason art, proceedings artificial intelligence conference, arti, merida, science 2012, art programming, venezuela, lecture notes artificial intelligence, artificial general intelligence, logic

Datos del la editorial

Autor: Nikolaj Bjørner; Andrei Voronkov
Título: 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
Editorial: Springer; Springer Berlin
446 Páginas
Año de publicación: 2012-02-24
Berlin; Heidelberg; DE
Impreso en
Idioma: Inglés
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
< para archivar...