Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.9450 (PDF)
International Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.
The 43 regular papers presented together...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the proceedings of the 20th
International Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.
The 43 regular papers presented together with 1 invited
talk included in this volume were carefully reviewed and selected from 92
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.
- 2015, 1st ed. 2015, 640 Seiten, Englisch
- Herausgegeben: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
- Verlag: Springer-Verlag GmbH
- ISBN-10: 366248899X
- ISBN-13: 9783662488997
- Erscheinungsdatum: 01.12.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 22 MB
- Mit Kopierschutz
- Vorlesefunktion
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.9450".
Kommentar verfassen