Temporal Logic: From Ancient Ideas to Artificial Intelligence
>> –
logic
Temporal Logic
Springer | 1995-09-30 | ISBN:0792335864 | 428 pages | PDF | 14,5 MB
Springer | 1995-09-30 | ISBN:0792335864 | 428 pages | PDF | 14,5 MB
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
link to ebook