Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.7180 (PDF)
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.7180 (PDF)“
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.
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.
Bibliographische Angaben
- 2012, 2012, 446 Seiten, Englisch
- Herausgegeben: Nikolaj Bjørner, Andrei Voronkov
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642287174
- ISBN-13: 9783642287176
- Erscheinungsdatum: 06.03.2012
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 6.66 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.7180"
0 Gebrauchte Artikel zu „Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.7180“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.7180".
Kommentar verfassen