Normal view
MARC view
AUTOMATIC THEOREM PROVING CONGRESSES (Topical Term)
Machine generated authority record.
Work cat.: (NEDUET)4828: LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING 14TH INTERNATIONAL CONFERENCE LPAR 2007 YEREVAN ARMENIA OCTOBER 15-19, 2007 PROCEEDINGS , c2007