DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(An AND Inductive AND Approach AND to AND Formalizing AND Notions AND of AND Number AND Theory AND Proofs)
Suggestions: Include records that partially match the query
An Inductive Approach to Formalizing Notions of Number Theory Proofs
Computer Mathematics, Ascm 2001 — 2001, pp. 131-140
Year: 2001
Language: English
An Inductive Approach to Formalizing Notions of Number Theory Proofs
Tphols 2001: Supplemental Proceedings — 2001, pp. 328-336
Year: 2001
Language: English