Počet záznamů: 1
Metoda transformací logických formulí
Záhlaví-jméno Rott, Hilbert (autor) Údaje o názvu Metoda transformací logických formulí Vyd.údaje Praha : Academia, 1989 Fyz.popis 126 s. ISBN 80-200-0107-7 Edice Studie ČSAV ; 13/89 Předmět.hesla logické formule logika Konspekt 16 - Logika Země vyd. Česko Jazyk dok. čeština Počet ex. 1, z toho volných 1 Databáze Naučná literatura Signatura Přír.číslo Lokace Dislokace Info 51411 288974 Sklad 3
Počet záznamů: 1