Search results
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. Copy count 1, currently available 0, at library only 1 Document kind správy výskumné 
unrecognised