A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
The Complexity of Propositional Proofs
Urquhart, A. (author)
1998-01-01
11 pages
Article (Journal)
English
DDC:
006.3
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Towards a Framework of Propositional Knowledge in Architecture
| Taylor & Francis Verlag | 1993
Logic of proofs with substitution
| British Library Online Contents | 2007
Visual Proofs in Mathematics and Architecture
| Springer Verlag | 2023
| DOAJ | 2024