Browsing by Keywords "μέθοδος επαγωγής"
Now showing items 1-1 of 1
-
Eykleidis: An interactive system for theorems proving using the method of induction.
T.E.I. of Crete, School of Engineering (STEF), Department of Electrical Engineering
Authors:
Thesis advisor:
Publication Date: 29-02-2008