http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic for programming, artificial Intelligence, and reasoning
17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
LPAR 2010 (2010 : Yogyakarta, Indonesia)
1 online resource (xii, 656 pages) : illustrations
Christian G. Fermüller, Andrei Voronkov (eds.).
Includes bibliographical references and index.
Theoretical computer science and general issues
Lecture notes in computer science ; 6397
Advanced research in computing and software science