- 5 Risultati
prezzo più basso: € 38,51, prezzo più alto: € 95,10, prezzo medio: € 62,09
1
Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters
Ordina
da Indigo.ca
C$ 137,95
(indicativi € 95,10)
OrdinaLink sponsorizzato

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

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… Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
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)
Ordina
da amazon.de
€ 59,16
Spedizione: € 3,001
OrdinaLink sponsorizzato
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) - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
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
Ordina
da ZVAB.com
€ 42,79
Spedizione: € 0,001
OrdinaLink sponsorizzato
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 - edizione con copertina flessibile

2012

ISBN: 3642287166

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

NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Ordina
da buchfreund.de
€ 38,51
Spedizione: € 0,001
OrdinaLink sponsorizzato
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 - libri usati

2012, ISBN: 9783642287169

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
5
Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner; Andrei Voronkov
Ordina
da lehmanns.de
€ 74,89
Spedizione: € 0,001
OrdinaLink sponsorizzato
Nikolaj Bjørner; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Prima edizione

2012, ISBN: 9783642287169

edizione con copertina flessibile

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

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logic for Programming, Artificial Intelligence, and Reasoning

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.

Informazioni dettagliate del libro - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642287169
ISBN (ISBN-10): 3642287166
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2012
Editore: Springer Berlin
446 Pagine
Peso: 0,677 kg
Lingua: Englisch

Libro nella banca dati dal 2009-03-02T16:51:59+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-03-25T11:31:22+01:00 (Rome)
ISBN/EAN: 9783642287169

ISBN - Stili di scrittura alternativi:
3-642-28716-6, 978-3-642-28716-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : voronkov, vor, nikolaj
Titolo 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


Dati dell'editore

Autore: Nikolaj Bjørner; Andrei Voronkov
Titolo: 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
Editore: Springer; Springer Berlin
446 Pagine
Anno di pubblicazione: 2012-02-24
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,691 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 446 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; artificial intelligence; constraint programming; description logics; resource analysis of programs; software verification; Artificial Intelligence; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Programming Languages, Compilers, Interpreters; 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.

< Per archiviare...