Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.2850 (PDF)
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.
The 27 revised full papers presented together with...
The 27 revised full papers presented together with...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.2850 (PDF)“
This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.
The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.
The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.
Bibliographische Angaben
- 2003, 2003, 436 Seiten, Englisch
- Herausgegeben: Moshe Vardi, Andrei Voronkov
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540398139
- ISBN-13: 9783540398134
- Erscheinungsdatum: 01.12.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.26 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.2850"
0 Gebrauchte Artikel zu „Logic for Programming, Artificial Intelligence, and Reasoning / Lecture Notes in Computer Science Bd.2850“
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.2850".
Kommentar verfassen