Challenges for action theories / Michael Thielscher.

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of compu...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Thielscher, Michael
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1775. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer logic. System design. Formal methods (Computer science) Electronic book.