http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic for programming, artificial intelligence, and reasoning
8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
1 online resource (xv, 738 pages) : illustrations
Robert Nieuwenhuis, Andrei Voronkov (eds.).
Lecture notes in computer science ; 2250
Lecture notes in artificial intelligence