Artificial Intelligence

Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2

Name: Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
Brand: OUP Oxford
SKU: 9780198537687
Price: 38321.00 INR
Availability: InStock
ISBN: 9780198537687

TEMPORAL LOGIC

Contributor(s): Gabbay, Dov M. Author , Finger, M. Author , Reynolds, M. Author Format: Hardback

Hardback · ISBN 9780198537687

₹38,321

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780198537687
Subtitle	TEMPORAL LOGIC
Publisher	OUP Oxford
Publication date	March 2000
Language	English
MRP	£242.50 GBP
Page count	612
Item weight	227 g

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.

Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2

Key Specifications

Gabbay, Dov M. Author

Finger, M. Author

Reynolds, M. Author

Related titles