Výsledky vyhľadávania
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. Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. správy výskumné