Back to Results
First PageMeta Content
Mathematics / Logic / Theoretical computer science / Mathematical logic / Automated theorem proving / Type theory / Logic in computer science / Nqthm / Mathematical induction / Mathematical proof / Recursive definition / Induction


RAC  Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences
Add to Reading List

Document Date: 2006-07-26 07:36:55


Open Document

File Size: 285,64 KB

Share Result on Facebook
UPDATE