Cover Image
Saved in:

Logic for programming, artificial intelligence, and reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /

Corporate Authors: LPAR (Conference) Mérida, Venezuela), SpringerLink (Online service)
Other Authors: Björner, Nikolaj., Voronkov, A. 1959-
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2012.
Series:Lecture notes in computer science ; 7180.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!