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

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

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Sutcliffe, Geoff (Utgivare, redaktör, sammanställare), Voronkov, Andrei (Utgivare, redaktör, sammanställare)
Materialtyp:	E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Upplaga:	1st ed. 2005.
Serie:	Lecture Notes in Artificial Intelligence ; 3835 Springer eBook Collection.
Ämnen:	Software engineering. Artificial intelligence. Computer programming. Computer logic. Mathematical logic. Electronic resources (E-books)
Länkar:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Logga in för att kontrollera reserveringsmöjlighet

Internet

Click to view e-book

Online

Beståndsuppgifter i Online
Signum:	E-Book
Copy 1	Tillgänglig