Počet záznamů: 1  

Logic programming and automated reasoning

  1. Údaje o názvuLogic 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.údajeBerlin : Springer, 1994
    Fyz.popisX, 344 s.
    ISBN3540582169
    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ódLokaceDislokaceInfo
    M2/008 (PřF)3134006120PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.