Skip to main content
PBS logo
 
 

Search - Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science)

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science)
Executable Modal and Temporal Logics Ijcai '93 Workshop Chambery France August 28 1993 Proceedings - Lecture Notes in Computer Science
Author: Michael Fisher
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have b...  more »
ISBN-13: 9780387589763
ISBN-10: 0387589767
Pages: 180
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.