Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Voronkov, Andrei, Sutcliffe, Geoff
Format: eBook
Language:English
Series:Lecture Notes in Computer Science, 3835
Subjects:
Computer science
Logic design
Software engineering
Artificial intelligence
Online Access:Click here to view the full text content
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:1 online resource (275 pages) digital.
ISBN:9783540316503
9783540305538
ISSN:0302-9743 ;

Similar Items