ID:DA01722703
Dershowitz, N
同姓同名の著者を検索
Andreas Blass ... [et al.], (eds.)
Springer c2020 Lecture notes in computer science 12180 . LNCS sublibrary ; SL 2 . Programming and software engineering . Festschrift . Fields of logic and computation ; 3
所蔵館1館
Edward M. Reingold, Nachum Dershowitz
Cambridge University Press 2018 4th ed
: hardback
所蔵館2館
Nachum Dershowitz, Edward M. Reingold
Cambridge University Press 2008 3rd ed
Nachum Dershowitz, Andrei Voronkov (eds.)
Springer c2007 Lecture notes in computer science 4790 . Lecture notes in artificial intelligence
所蔵館6館
Nachum Dershowitz (ed.)
Springer c2003 Lecture notes in computer science 2772
所蔵館20館
Cambridge University Press 2002
Cambridge University Press 2001 The millennium ed
: hardback , : pbk.
Cambridge University Press 1997
: pbk
所蔵館11館
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Springer-Verlag c1995 Lecture notes in computer science 968
: Berlin
所蔵館54館
N. Dershowitz (ed.)
Springer-Verlag c1989 Lecture notes in computer science 355
: gw , : us
所蔵館63館
Nachum Dershowitz
Birkhäuser 1983 Progress in computer science no. 5
pbk.
所蔵館19館