Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000115608340 | 1 hits
Person
ISNI: 
0000 0001 1560 8340
Name: 
Gurevich, Y.
Gurevich, Yuri
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Barendrecht, H.
Boerger, Egon (1946-)
Börger, Egon (1946-)
Droste, Manfred (1956-....))
Grädel, Erich (1958-)
Meinke, Karl
Meyer, Bertrand (1950-)
TAP 2007 (2007 : Zurich, Switzerland)
Titles: 
Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
classical decision problem, The
Computer Science Logic 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Semantics of programming languages and model theory
Tests and proofs First international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : Revised Papers
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC WKP