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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Voronkov, Andrei, Sutcliffe, Geoff
Fformat: eLyfr
Iaith:English
Cyfres:Lecture Notes in Computer Science, 3835
Pynciau:
Mynediad Ar-lein:Click here to view the full text content
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Disgrifiad
Disgrifiad Corfforoll:1 online resource (275 pages) digital.
ISBN:9783540316503
9783540305538
ISSN:0302-9743 ;