Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers

&
Electronic Notes in Theoretical Computer Science 226 (1):1-2 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers.Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):1-2.
LOUI: Lovely OMEGA User Interface.Siekmann Jörg, Hess Stephan, Benzmüller Christoph, Cheikhrouhou Lassaad, Fiedler Armin, Horacek Helmut, Kohlhase Michael, Konrad Karsten, Meier Andreas, Melis Erica, Pollet Martin & Sorge Volker - 1999 - Formal Aspects of Computing 11 (3):326-342.
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor.Autexier Serge, Benzmüller Christoph, Fiedler Armin & Lesourd Henri - 2005
PLATO: A Mediator between Text-Editors and Proof Assistance Systems.Wagner Marc, Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):87-107.
Reader as user: Applying interface design techniques to the Web.Karen McGrane Chauss - 1996 - Kairos: A Journal of Rhetoric, Technology, and Pedagogy 1 (2).
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?Siekmann Jörg, Horacek Helmut, Kohlhase Michael, Benzmüller Christoph, Cheikhrouhou Lassaad, Fehrer Detlef, Fiedler Armin, Hess Stephan, Konrad Karsten, Meier Andreas, Melis Erica & Sorge Volker - 1999 - International Journal of Computing Anticipatory Systems 3:101-110.
Automated deduction in a graphical temporal logic.L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon - 1996 - Journal of Applied Non-Classical Logics 6 (1):29-47.
Is User Studies User-oriented? Domain analytic approach to User Studies in Information Organization.Inkyung Choi - unknown
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
Designing user interfaces for problem solving, with application to hypertext and creative writing.Harold Thimbleby - 1994 - AI and Society 8 (1):29-44.
How do users know what to say?Nicole Yankelovich - 1996 - Interactions 3 (6):32-43.
Interfacce virtuali.Roberto Diodato - 2012 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 5.
User interfaces for communication bridges across the digital divide.Edwin H. Blake & William D. Tucker - 2006 - AI and Society 20 (2):232-242.
A user profiling component with the aid of user ontologies.Nébel István-Tibor, Barry Smith & Paschke Ralf - 2003 - In Nébel István-Tibor, Barry Smith & Paschke Ralf (eds.), Learning – Teaching – Knowledge – Adaptivity (LLWA), University of Karlsruhe (2003). Karlsruhe, Germany:
The role of cognitive modeling for user interface design representations: An epistemological analysis of knowledge engineering in the context of human-computer interaction. [REVIEW]Markus F. Peschl & Chris Stary - 1998 - Minds and Machines 8 (2):203-236.

Analytics

Added to PP
2017-12-04

Downloads
10 (#1,195,881)

6 months
1 (#1,474,534)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references