REPRESENTING CK THEORY WITH AN ACTION LOGIC

DS 35: Proceedings ICED 05, the 15th International Conference on Engineering Design, Melbourne, Australia, 15.-18.08.2005

Year: 2005
Editor: A. Samuel, W. Lewis
Author: Salustri, F. A.
Series: ICED
Section: Engineering Design and Allied Disciplines
Page(s): 305-306 (exec. Summ.), full paper no. DS35_17.11

Keywords: CK theory, design theory, formal system, action logic

Download