Nachum Dershowitz
AuthID: R-006-GJ4
1
TITLE: Introduction Full Text
AUTHORS: Jose Felix Costa ; Nachum Dershowitz;
PUBLISHED: 2011, SOURCE: NATURAL COMPUTING, VOLUME: 10, ISSUE: 4
AUTHORS: Jose Felix Costa ; Nachum Dershowitz;
PUBLISHED: 2011, SOURCE: NATURAL COMPUTING, VOLUME: 10, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
AUTHORS: Nachum Dershowitz; Andrei Voronkov;
PUBLISHED: 2007, SOURCE: LPAR, VOLUME: 4790
AUTHORS: Nachum Dershowitz; Andrei Voronkov;
PUBLISHED: 2007, SOURCE: LPAR, VOLUME: 4790
INDEXED IN: 
DBLP
DBLP