Jump to main content

yr 〜
yr

Search results 5

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
Paper図書
Elsevier1994.<MA41-A92>
National Diet Library
  • Subject Heading記号論理学. 形式言語. AUTOMATH (Formal language)

Thirty five years of automating mathematics

Thirty five years of automating mathematics
Paper図書
edited by Fairouz D. KamareddineKluwer Academicc2003
Other Libraries in Japan
  • Subject HeadingAUTOMATH (Formal language) Automatic theorem proving Pro...
  • Subject Heading (ID)AUTOMATH (Formal language) Automatic theorem proving Pro...

Selected papers on Automath

Selected papers on Automath
Paper図書
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van DaalenElsevier1994
Other Libraries in Japan
  • Subject HeadingAUTOMATH (Formal language)
  • Subject Heading (ID)AUTOMATH (Formal language)

Checking Landau's "Grundlagen" in the automath system pbk.

Checking Landau's "Grundlagen" in the automath system pbk.
Paper図書
L.S. van Benthem JuttingMathematisch Centrum1979
Other Libraries in Japan
  • Subject HeadingNumbers, Theory of AUTOMATH (Formal language) Machine translating Landau, E...
  • Subject Heading (ID)Numbers, Theory of AUTOMATH (Formal language) Machine translating Landau, E...

Automath : a language for mathematics

Automath : a language for mathematics
Paper図書
par Nicolaas Govert de BruijnLes Presses de L'Université de Montréal1973
Other Libraries in Japan
  • Subject HeadingAUTOMATH (Formal language)
  • Subject Heading (ID)AUTOMATH (Formal language)

Reached to the end of result.

RSS