Logic for programming, artificial intelligence, and reasoning
Subtitle: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
By: Geoff Sutcliffe, Andrei Voronkov (eds.).
Contributors: Sutcliffe, Geoff.; Voronkov, A. 1959-; LINK (Online service)
Series: Lecture notes in computer science -- 3835. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 3835.; Lecture notes in computer science
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Format: Electronic resource
Number of pages: 744
Subjects: Logic programming -- Congresses; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses
Genres: Congresses.
Other titles: LPAR 2005.
Notes: Title from title screen (viewed November 28, 2005)

Electronic book available via Springer Link.

Print version originally published in 2005.

Includes bibliographical references and index.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.