Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language

1
Published 2001
Springer London
Table of Contents: .... Tools for Working with Guidelines in Different Interface Design Approaches -- 23. Use of Formalized...

2
Published 2005
Springer Netherlands
Table of Contents: ... for Constructing User Interfaces from Task Models -- Automating a Design Reuse Facility with Critical Parameters...

3
Published 2002
Springer Netherlands
Table of Contents: ... Theory of Contextors -- 3. WSXL: A Web Services Language for Integrating End-User Experience...