( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interactive Theorem Proving: An Empirical Study of User Activity.

, , , и . J. Symb. Comput., 25 (2): 263-284 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Oliver Gray

On the complete classification of unitary N=2 minimal superconformal field theories. Uni Augsburg, (2009)

Ursula Gray

Ian Gray

Alexander Grayver

Sebastian Grayek

 

Другие публикации лиц с тем же именем

Alternative bases for comprehensibility and competition for expression in an icon generation tool., , и . INTERACT, стр. 473-477. North-Holland, (1990)Localisation of application knowledge in incremental development of user interfaces., , и . INTERACT, стр. 645-650. North-Holland, (1990)Assessing the impact of time on user interface design., и . ACM SIGCHI Bull., 28 (2): 33-35 (1996)Caring, Sharing Widgets: A Toolkit of Sensitive Widgets., , и . BCS HCI, стр. 257-270. Springer, (2000)A Unified Concept of Style and its Place in User Interface Design., и . BCS HCI, стр. 49-62. Springer, (1996)Teallach: a model-based user interface development environment for object databases., , , , , , , , и . Interacting with Computers, 14 (1): 31-68 (2001)Theories of Context Influence the System Abstractions Used to Design Interactive Systems., , и . BCS HCI, стр. 387-405. Cambridge University Press, (1995)A Lightweight Experiment Management System for Handheld Computers., , и . CADUI, стр. 295-306. Kluwer, (2004)Experience with Chisl, a Configurable Hierarchical Interface Specification Language., , и . Comput. Graph. Forum, 7 (2): 117-127 (1988)Supporting Error-Driven Design., и . DSV-IS, стр. 207-228. Springer, (1996)