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 …
Indigo.ca new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
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 …
amazon.de ausverkauf Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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 …
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
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 …
buchfreund.de Buchpark GmbH, 14959 Trebbin Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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
lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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 …
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 …
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 …
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 …
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
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540000105 Logic for Programming Artificial Intelligence and Reasoning (Matthias Baaz; Andrei Voronkov)
- 9783540201014 Logic for Programming Artificial Intelligence and Reasoning (Moshe Vardi; Andrei Voronkov)
- 9783540429579 Logic for Programming Artificial Intelligence and Reasoning (Robert Nieuwenhuis; Andrei Voronkov)
- 9780387557274 Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Russia) Lpar (1992 Saint Petersburg, Andrei Voronkov, Andrei Voronkov)
- 9783540482819 Logic for Programming Artificial Intelligence and Reasoning by Miki Hermann Paperback | Indigo Chapters (Miki Hermann; Andrei Voronkov)
< Per archiviare...