Computer aided reasoning
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 406-412
- https://doi.org/10.1007/3-540-15648-8_30
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proving properties of Pascal programs in MIZAR 2Acta Informatica, 1985
- An Introduction to the PL/CV2 Programming LogicLecture Notes in Computer Science, 1982
- Extreme values for the Sidon constantProceedings of the American Mathematical Society, 1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- The mathematical language AUTOMATH, its usage, and some of its extensionsPublished by Springer Nature ,1970