Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Parigot, Michel (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, 2000.
Edition:	1st ed. 2000.
Series:	Lecture Notes in Artificial Intelligence ; 1955
Subjects:	Mathematical logic. Programming languages (Electronic computers). Artificial intelligence. Computer logic. Mathematical Logic and Foundations. Programming Languages, Compilers, Interpreters. Artificial Intelligence. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items