Počet záznamov: 1
Automated theorem proving
Názov Automated theorem proving Autor Bibel W. Vyd.údaje Braunschweig : F. Vieweg & Sohn Verlagsgesellschaft mbH , 1982. - xiii, 292 p. Jazyk dok. eng - angličtina Krajina DE - Nemecko ISBN 3-528-08520-7 Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. monografie 
kniha
Signatúra Lokácia Dislokácia Info 22423 Ústav informatiky SAV len prezenčne
Počet záznamov: 1