Number of the records: 1
Automated Mathematical Induction
Title Automated Mathematical Induction Author Bouhoula A. Co-authors Kounalis E. Rusinowitch M. Issue data LeChesnay Cedex : Institut National de Recherche en Informatique et en Automatique , 1992. - 44s. Language fra Country FR - France UDC 51 Catal.org. SAVINFO Copy count 1, currently available 0, at library only 1 Document kind správy výskumné 
book
Call number Location Sublocation Info R TR 102/93 Ústav informatiky SAV In-Library Use Only
Number of the records: 1