ID:DA06369400
Wrightson, G. (Graham)
Search authors sharing the same name
B. Fronhöfer, G. Wrightson, eds
Springer-Verlag c1992 Lecture notes in computer science 590 . Lecture notes in artificial intelligence
: gw , : us
Available at 56 libraries
Graham Wrightson
VDI Verlag 1984 Fortschritt-Berichte VDI Reihe 10, Nr. 30
Available at 3 libraries
Springer-Verlag 1983 Symbolic computation . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2
1957-1966 , 1967-1970
Available at 32 libraries