Challenges for action theories /

Bibliographic Details
Main Author:	Thielscher, Michael
Corporate Author:	SpringerLink (Online service)
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) robotique. méthode formelle. logique formelle. ramification. Logique informatique. Systèmes, Conception de. Méthodes formelles (Informatique) Kunstmatige intelligentie. Inteligencia Artificial (Computacao) Logica matematica. Handlungslogik. Automatische Handlungsplanung. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage