|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Executable Modal and Temporal Logics - IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Paperback, 1995 ed.)
Loot Price: R1,556
Discovery Miles 15 560
|
|
|
Executable Modal and Temporal Logics - IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Paperback, 1995 ed.)
Series: Lecture Notes in Artificial Intelligence, 897
Expected to ship within 10 - 15 working days
|
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 been introduced
and several executable forms of these logics have been applied to
programming.
This volume addresses a range of approaches to executable modal and
temporal logics, not only from a logical point of view, but also
from programming language and application standpoints; in addition,
an introductory survey and an annotated bibliography are presented.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
