𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A User-Oriented Approach to Construction Simulation of Buildings

✍ Scribed by Amr A. Oloufa


Book ID
115216130
Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
724 KB
Volume
9
Category
Article
ISSN
1093-9687

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Generic Approach to Building User Inte
✍ Y. Bertot; L. ThΓ©ry πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 713 KB

In this paper, we present the results of an ongoing effort in building user interfaces for proof systems. Our approach is generic: we are not constructing a user interface for a particular proof system, rather we have developed techniques and tools that have been applied to several proof systems. We