A Logical Framework for Design Processes

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 3-19
https://doi.org/10.1007/978-3-642-84392-1_1

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

A Framework for Design Problem Solving
Published by Elsevier ,1989
Toward an engineering science of knowledge-based design
Artificial Intelligence in Engineering, 1987
Intelligent CAD Systems I
Published by Springer Nature ,1987
Why is design logically impossible?
Design Studies, 1982
Prolegomena to a theory of mechanized formal reasoning
Artificial Intelligence, 1980