H ?
«
‹
←
→
›
»
Language peer sets for AUTOMATH:
Netherlands↑ Netherlands/1967↑ Designed 1967 ↑ 1960s languages ↑ Third generation↑ High Cold War↑ Genus Algebraic ↑ Specialised Languages ↑ Algebraic↑ Mathematical↑ Expression-oriented ↑ Algebraic/1967↑ Mathematical/1967↑ Expression-oriented/1967↑ Algebraic/Netherlands↑ Mathematical/Netherlands↑ Expression-oriented/Netherlands↑ Specialised Languages ↑ Specialised Languages/1967↑ Specialised Languages/NL ↑ ## AUTOMATH(ID:491/aut026)alternate simple viewCountry: Netherlands Designed 1967 Published: 1968 Genus: Algebraic Sammet category: Specialised Languages Eindhoven, Netherlands. A very high level language for writing proofs. The first type-theoretical proof system. AUTOMATH genealogy is hard to grasp - it was conceived as an extended project, with some languages as partial goals for that project. AUTOMATH had a subset PAL, for which SEMIPAL was an intentional precursor. That evolved into SEMIPAL 2, without becoming PAL, which emerged separately. AUT-QE and AUT-PI were forms of writing the full AUTOMATH. Related languages
References: in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
Logic of Programming versus Logic of Mathematics
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |