Počet záznamov: 1
Automated Mathematical Induction
Názov Automated Mathematical Induction Autor Bouhoula A. Spoluautori Mikloš P. Gašparovičová L. Vyd.údaje LeChesnay Cedex : Institut National de Recherche en Informatique et en Automatique , 1992. - 44s. Jazyk dok. fra Krajina FR - Francúzsko MDT 51 Katal.org. SAVINFO Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. správy výskumné nerozpoznaný
Signatúra Lokácia Dislokácia Info R TR 102/93 Ústav informatiky SAV len prezenčne
Počet záznamov: 1