Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and...

全面介紹

書目詳細資料

企業作者:	SpringerLink (Online service)
其他作者:	Bjørner, Nikolaj (Editor), Voronkov, Andrei (Editor)
格式:	電子書
語言:	English
出版:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
版:	1st ed. 2012.
叢編:	Theoretical Computer Science and General Issues ; 7180 Springer eBook Collection.
主題:	Software engineering. Artificial intelligence. Computer logic. Mathematical logic. Computer programming. Programming languages (Electronic computers). Electronic resources (E-books)
在線閱讀:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.