Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Saved in:
Bibliographic Details
Main Author: Baader, Franz (Author)
Corporate Author: SpringerLink (Online service)
Other Authors: Voronkov, Andrei
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer 2005
Series:Lecture Notes in Computer Science, 3452
Subjects:
Online Access:Click here to view the full text content
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items