http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic for programming, artificial intelligence, and reasoning
16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
LPAR (Conference) 2010 : Dakar, Senegal)
Edmund M. Clarke, Andrei Voronkov (eds.).
Title from PDF title page (SpringerLink, viewed Dec. 10, 2010).
Includes bibliographical references and index.
Lecture notes in computer science ; 6355
Lecture notes in artificial intelligence