( en | de | ru )

 

Disambiguierung von "Gray, Philip D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interactive Theorem Proving: An Empirical Study of User Activity.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Oliver Gray

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

Ursula Gray

Ian Gray

Sebastian Grayek

Alexander Grayver

 

Weitere Publikationen von Autoren mit dem selben Namen

Temporal Aspects of Tasks in the User Action Notation., und . Human-Computer Interaction, 7 (1): 1-45 (1992)GUIDE-ME: graphical user interface for the design of mixed interactive environment based on the ASUR notation., , und . UbiMob, Seite 74-77. ACM, (2004)Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper?, , , und . BCS HCI/IHM, Seite 439-456. Springer, (2001)Experience with Chisl, a Configurable Hierarchical Interface Specification Language., , und . Comput. Graph. Forum, 7 (2): 117-127 (1988)Dynamic Links for Mobile Connected Context-Sensitive Systems., und . EHCI, Volume 2254 von Lecture Notes in Computer Science, Seite 281-298. Springer, (2001)Supporting Error-Driven Design., und . DSV-IS, Seite 207-228. Springer, (1996)A Lightweight Experiment Management System for Handheld Computers., , und . CADUI, Seite 295-306. Kluwer, (2004)Theories of Context Influence the System Abstractions Used to Design Interactive Systems., , und . BCS HCI, Seite 387-405. Cambridge University Press, (1995)Interactive Theorem Proving: An Empirical Study of User Activity., , , und . J. Symb. Comput., 25 (2): 263-284 (1998)Instrumenting Bytecode for the Production of Usage Data., , , und . CADUI, Seite 183-194. Kluwer, (2004)