Towards a Framework of Propositional Knowledge in Architecture

Aravot, Iris | Taylor & Francis Verlag | 1993

Logic of proofs with substitution

Rubtsova, N. M. | British Library Online Contents | 2007

Visual Proofs in Mathematics and Architecture

Fernández González, Juan | Springer Verlag | 2023

Bright light differentially alters affective and propositional vocalizations in Alzheimer's dementia

Lanter, JamesJ. / Harrison, DavidW. / Zicafoose, BarbaraF. | Elsevier | 1991

Maximizing Microgrid Efficiency: A Unified Approach with Extended Optimal Propositional Logic Control

Muhammed Cavus | DOAJ | 2024