Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005. The 46 revised full papers presented together with abstracts of 3 invited talks were careful...

Full description

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

Wentworth

Holdings details from Wentworth
Call Number: Springer