Interval Temporal Logic
Propositional calculus, First-order logic, Temporal logic
978-613-7-38990-4
6137389901
80
2011-10-12
34.00 €
eng
https://images.our-assets.com/cover/230x230/9786137389904.jpg
https://images.our-assets.com/fullcover/230x230/9786137389904.jpg
https://images.our-assets.com/cover/2000x/9786137389904.jpg
https://images.our-assets.com/fullcover/2000x/9786137389904.jpg
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Interval temporal logic is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Interval temporal logics find application in computer science, artificial intelligence and linguistics. First-order interval temporal logic was initially developed in 1980s for the specification and verification of hardware protocols. Interval Temporal Logic is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University.
https://www.morebooks.de/books/cn/published_by/dign-press/189864/products
普通和比较语言学
https://www.morebooks.de/store/cn/book/interval-temporal-logic/isbn/978-613-7-38990-4