Author :
Ohrstrom, peter
SubTitle :
from ancient ideas to artificial intelligence
Author Statement :
Peter Ohrstrom,Per F.V.Hasle
Collation :
Viii, 413 P
Addition :
,
Title :
Temporal Logic
LC Class :
160
LC CutterNumber :
H 873 T
Publication Year :
1995
Publication :
Kluwer Academic Publishers
Series :
Studies in linguistics and philosophy; V.57
Subject :
Tense (Logic),logic, symbolic and mathematical,Time
DocumentNumber :
5135
ISBNN :
, 1 , 7695 , 2-1
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=2234&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
