Normal view MARC view

DERSHOWITZ, NACHUM (Personal Name)

Preferred form: DERSHOWITZ, NACHUM

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