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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. 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… Mehr…
amazon.de ausverkauf Versandkosten: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 - 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…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: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 - 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…
buchfreund.de |
2012, ISBN: 9783642287169
Taschenbuch
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
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…
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…
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…
2012, ISBN: 9783642287169
Taschenbuch
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T11:31:22+01:00 (Berlin)
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
< zum Archiv...