Number of the records: 1
Temporal logic
Title statement Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle Personal name Øhrstrøm, Peter, 1949- (author) Issue data Dordrecht : Kluwer Academic Publishers, c1995 Phys.des. viii, 413 s. : il. ISBN 978-90-481-4584-3 (dotisk : brož.) 0-7923-3586-4 (váz.) Edition Studies in linguistics and philosophy ; vol. 57 Note 3133024373 - dotisk 2010 Zpracováno dle dotisku 2010 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Hasle, Per F. V. (author) Subj. Headings logika logic * symbolická logika symbolic logic * matematická logika mathematical logic Form, Genre studie studies Conspect 16 - Logika UDC 16 , 164 , 510.6 , (048.8) Country Nizozemsko Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info N/A 3133024373 FF FF, katedra filozofie In-Library Use Only O2/252 (PřF) 3134046408 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1