Research Catalog

Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005

Title
Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005 / Geoff Sutcliffe, Andrei Voronkov, (eds.).
Author
LPAR (Conference) (12th : 2005 : Montego Bay, Jamaica)
Publication
Berlin : Springer, 2005. [Great Britain]

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance QA76.63 .L735 2005gOff-site

Holdings

Details

Additional Authors
  • Sutcliffe, Geoff.
  • Voronkov, Andrei, 1959-
Description
xiv, 744 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 3835
Uniform Title
Lecture notes in computer science ; 3835.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
354030553X (pbk.)
OCLC
  • ocm62795812
  • SCSB-5220182
Owning Institutions
Columbia University Libraries