Logic Programming
Subtitle: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Maurizio Gabbrielli (Editor); Gopal Gupta (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 26, 2005
Language: eng
Format: Paperback
Number of pages: 454
ISBN-13: 9783540292081
Subjects: Computer Programming; Programming Languages - General; Computers - Languages / Programming; Computers; Computer Books: Languages; Logic Design; Programming - General; Computers / Programming / General; agent-oriented logic programming; computational logics; constraint logic programming; deduction; formal verification; inductive logic programming; Congresses; Congráes; Logic programming; Logisch programmeren; Programmation logique; gtt