Number of the records: 1
Automated Mathematical Induction
Title Automated Mathematical Induction Author Bouhoula A. Co-authors Mikloš P. Gašparovičová L. 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é unrecognised
Call number Location Sublocation Info R TR 102/93 Ústav informatiky SAV In-Library Use Only
Number of the records: 1