Normal view
MARC view
DERSHOWITZ, NACHUM (Personal Name)
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