Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.6355 (PDF)
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which
took place in Dakar, Senegal, in April/May 2010.
The 27...
took place in Dakar, Senegal, in April/May 2010.
The 27...
Leider schon ausverkauft
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.6355 (PDF)“
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which
took place in Dakar, Senegal, in April/May 2010.
The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
took place in Dakar, Senegal, in April/May 2010.
The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Bibliographische Angaben
- 2010, 2011, 517 Seiten, Englisch
- Herausgegeben: Edmund M. Clarke, Andrei Voronkov
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642175112
- ISBN-13: 9783642175114
- Erscheinungsdatum: 07.12.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 7.69 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.6355"
Schreiben Sie einen Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.6355".
Kommentar verfassen