Počet záznamů: 1
Logic programming and automated reasoning
Údaje o názvu Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / editor Frank Pfenning Záhlaví-akce Logic Programming and Automated Reasoning '94. International conference (1994) Vyd.údaje Berlin : Springer, 1994 Fyz.popis X, 344 s. ISBN 3540582169 Edice Lecture notes in artificial intelligence; 822 Dal.odpovědnost Pfenning , Frank (editor) Chronologický termín 1994 Předmět.hesla počítače computers * programování programming * sborníky MDT 004.42 , 519.68(082) , 519.85 , 519.85(082) Země vyd. Bez místa Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/008 (PřF) 3134006120 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1