Počet záznamů: 1
Temporal logic
Údaje o názvu Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle Osobní jméno Øhrstrøm, Peter, 1949- (autor) Vyd.údaje Dordrecht : Kluwer Academic Publishers, c1995 Fyz.popis viii, 413 s. : il. ISBN 978-90-481-4584-3 (dotisk : brož.) 0-7923-3586-4 (váz.) Edice Studies in linguistics and philosophy ; vol. 57 Poznámka 3133024373 - dotisk 2010 Zpracováno dle dotisku 2010 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Hasle, Per F. V. (autor) Předmět.hesla logika logic * symbolická logika symbolic logic * matematická logika mathematical logic Forma, žánr studie studies Konspekt 16 - Logika MDT 16 , 164 , 510.6 , (048.8) Země vyd. Nizozemsko Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info N/A 3133024373 FF FF, katedra filozofie pouze prezenčně O2/252 (PřF) 3134046408 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1