๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Interface synthesis and protocol conversion

โœ Scribed by Purandar Bhaduri; S. Ramesh


Book ID
105844957
Publisher
Springer
Year
2007
Tongue
English
Weight
402 KB
Volume
20
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Special Issue on Graphical User Interfac
โœ N. Kajler; M. Monagan ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 89 KB

The design of user interfaces for computer algebra systems and theorem-proving systems is quite a challenge. Everyone who uses our symbolic computation systems wants a nice graphical user interface (GUI), with tools for keeping track of the current session, and also converting a session into a publi