Concepedia

The analysis and partial synthesis of truss structures via theorem proving

Sivand Lakmazaheri, William Rasdorf

Engineering With Computers · 1990 · 13 citations · 13 references

DOI

Concepts

References

13

Introduction to shape and shape grammars

George Stiny · Environment and Planning B Planning and Design · 1980 · 985 citations

, , +11

Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912. - Solomon Feferman. D.4. Theories of finite type related to mathematical practice. Pp. 913–971. - A. S. Troelstra. D.5. Aspects of constructive mathematics. Pp. 973–1052. - Michael P. Fourman. D.6. The logic of topoi. Pp. 1053–1090. - Henk P. Barendregt. D.1. The type free lambda calculus. Pp. 1091–1132. - Jeff Paris and Leo Harrington. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142.

William A. Howard · Journal of Symbolic Logic · 1984 · 840 citations

, , +11

Methodology and Implementation of a CLP System

Joxan Jaffar, Spiro Michaylov · International Conference on Lightning Protection · 1987 · 177 citations

, , +2

The role of logic in knowledge representation and commonsense reasoning

Robert C. Moore · Defense Technical Information Center (DTIC) · 1982 · 116 citations

, , +11

A knowledge-based standards processor for structural component design

James H. Garrett, Steven J. Fenves · Engineering With Computers · 1987 · 93 citations

, , +13