ID:DA06369400
Wrightson, G. (Graham)
同姓同名の著者を検索
B. Fronhöfer, G. Wrightson, eds
Springer-Verlag c1992 Lecture notes in computer science 590 . Lecture notes in artificial intelligence
: gw , : us
所蔵館56館
Graham Wrightson
VDI Verlag 1984 Fortschritt-Berichte VDI Reihe 10, Nr. 30
所蔵館3館
Springer-Verlag 1983 Symbolic computation . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2
1957-1966 , 1967-1970
所蔵館32館
