Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were...

Full description

Saved in:
Bibliographic Details
Main Author: Dershowitz, Nachum
Corporate Author: SpringerLink (Online service)
Other Authors: Voronkov, Andrei, 1959-
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture notes in computer science ; 4790.
Subjects:
Online Access:Full text (Wentworth users only).
Full text (Wentworth users only).

Wentworth

Holdings details from Wentworth
Call Number: Springer