Time and logic: a computational approach
Bolc, Leonard
Time and logic: a computational approach - London UCL Press 1995 - viii, 325 pages; 24 cm
Time and logic are central driving concepts in science and technology. This book presents some of the major developments in our understanding and application of temporal logic in computational terms. It places emphasis on presenting a broad range of approaches to computational applications."
9781857282337
Logic programming
Time
005.101 / BOL
Time and logic: a computational approach - London UCL Press 1995 - viii, 325 pages; 24 cm
Time and logic are central driving concepts in science and technology. This book presents some of the major developments in our understanding and application of temporal logic in computational terms. It places emphasis on presenting a broad range of approaches to computational applications."
9781857282337
Logic programming
Time
005.101 / BOL
