Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Vardi, Moshe (Editor, http://id.loc.gov/vocabulary/relators/edt), Voronkov, Andrei (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Lecture Notes in Artificial Intelligence ; 2850
Subjects:	Software engineering. Artificial intelligence. Computer programming. Computer logic. Mathematical logic. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items