Author： Odeh Salaheddin
Publisher： Springer Publishing Company
ISSN： 1000-9000
Source： Journal of Computer Science and Technology, Vol.25, Iss.5, 2010-09, pp. : 999-1015
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
A Generic Approach to Building User Interfaces for Theorem Provers
Journal of Symbolic Computation, Vol. 25, Iss. 2, 1998-02 ,pp. :
By Burnett Gary Lawson Glyn Millen Laura Pickering Carl Webber Emily
Behaviour and Information Technology, Vol. 32, Iss. 9, 2013-09 ,pp. :
Building a client-focused IT organization
By Penrod James I Harbor Ann F
Campus-Wide Information Systems, Vol. 15, Iss. 3, 1998-03 ,pp. :
AUTONOMOUS AGENTS IN USER INTERFACES
By Veitl Mario Petta Paolo Spour Robert Obermaier Klaus
Cybernetics and Systems, Vol. 30, Iss. 2, 1999-03 ,pp. :