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

A Minimal Graphical User Interface for the Jape Proof Calculator

โœ Scribed by Richard Bornat; Bernard Sufrin


Book ID
105845115
Publisher
Springer
Year
1999
Tongue
English
Weight
382 KB
Volume
11
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


MoCalc: A new graphical user interface f
โœ Daniela Bertolini Depizzol; Marcia Helena Moreira Paiva; Thiago Oliveira Dos San ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 142 KB

## Abstract A new computer program called __MoCalc__ (__Mo__lecular __Calc__ulations) has been designed to help the computational chemistry practitioner in the task of performing and analyzing molecular calculations. MoCalc is a graphical user interface for the MO calculation programs Gamess and Mo