An edition of Temporal logic (1995)
from ancient ideas to artificial intelligence
By Peter Øhrstrøm
Publish Date
1995
Publisher
Kluwer Academic Publishers
Language
eng
Pages
424
Description:
subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Tense (Logic), Time