Umfang:
XII, 480 S.
,
graph. Darst.
,
235 mm x 155 mm
ISBN:
3540226710
Serie:
Lecture notes in computer science 3132
Inhalt:
This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation
Anmerkung:
Literaturangaben
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Demoen, Bart Logic Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540226710
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Logische Programmierung
;
Künstliche Intelligenz
;
Automatisches Beweisverfahren
;
Programmierlogik
;
Formale Sprache
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
URL:
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3132
URL:
http://www.loc.gov/catdir/summary/eng0801/2004110708.html
URL:
http://www.loc.gov/catdir/enhancements/fy0814/2004110708-d.html
URL:
Volltext
(Restricted to SpringerLINK subscribers)
Bookmarklink