Nachum Dershowitz
AuthID: R-006-GJ4
1
TÃTULO: Introduction Full Text
AUTORES: Jose Felix Costa ; Nachum Dershowitz;
PUBLICAÇÃO: 2011, FONTE: NATURAL COMPUTING, VOLUME: 10, NÚMERO: 4
AUTORES: Jose Felix Costa ; Nachum Dershowitz;
PUBLICAÇÃO: 2011, FONTE: NATURAL COMPUTING, VOLUME: 10, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
AUTORES: Nachum Dershowitz; Andrei Voronkov;
PUBLICAÇÃO: 2007, FONTE: LPAR, VOLUME: 4790
AUTORES: Nachum Dershowitz; Andrei Voronkov;
PUBLICAÇÃO: 2007, FONTE: LPAR, VOLUME: 4790
INDEXADO EM: 
DBLP
DBLP