http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
heuristic search, inference engines, automatic proving
Henri Farreny ; translator, Jonathan Barchan
Translation of: Exercices programmes d'intelligence artificielle
Ellis Horwood series in artificial intelligence