|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Temporal Logic - First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Paperback, 1994 ed.)
Loot Price: R3,186
Discovery Miles 31 860
|
|
|
Temporal Logic - First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Paperback, 1994 ed.)
Series: Lecture Notes in Artificial Intelligence, 827
Expected to ship within 10 - 15 working days
|
This volume constitutes the proceedings of the First International
Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in
July 1994.
Since its conception as a discipline thirty years ago, temporal
logic is studied by many researchers of numerous backgrounds;
presently it is in a stage of accelerated dynamic growth. This
book, as the proceedings of the first international conference
particularly dedicated to temporal logic, gives a thorough
state-of-the-art report on all aspects of temporal logic research
relevant for computer science and AI. It contains 27 technical
contributions carefully selected for presentation at ICTL '94 as
well as three surveys and position papers.
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!
|
|
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
