Normal view
MARC view
Automatic theorem proving Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)636150: LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) 21081, Logic programming and automated reasoning :