Výsledky vyhľadávania
Názov Artifical Intelligence : Methodology,Systems,Applications:Proc.of the Inter.Conf.on AIMSA'84 Autor Bibel W. Spoluautori Petkoff B. Vyd.údaje Amsterdam : North-Holland , 1985. - 267s. Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. monografie 
kniha
Názov Automated theorem proving Autor Bibel W. Vyd.údaje Braunschweig : F. Vieweg & Sohn Verlagsgesellschaft mbH , 1982. - xiii, 292 p. Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. monografie kniha