H ?
«
‹
←
→
›
»
Language peer sets for SAINT:
United States↑ United States/1961↑ Designed 1961 ↑ 1960s languages ↑ Second generation↑ Early Cold War↑ Genus Algebraic ↑ Specialised Languages ↑ Algebraic↑ Mathematical↑ Expression-oriented ↑ Algebraic/1961↑ Mathematical/1961↑ Expression-oriented/1961↑ Algebraic/United States↑ Mathematical/United States↑ Expression-oriented/United States↑ Specialised Languages ↑ Specialised Languages/1961↑ Specialised Languages/us ↑ ## SAINT(ID:153/sai003)## A program to do formal integrationalternate simple viewCountry: United States Designed 1961 Published: 1961 Genus: Algebraic Sammet category: Specialised Languages Symbolic Automatic INTegrator. J. Slagle, MIT 1961. Written in LISP. A program to do formal integration (Sammett 1961) Related languages
References: Introduction
Extract:
Heuristic
Extract:
Heuristic
in [ACM] (1963) [ACM] JACM 10(04) October 1963
SAINT
in Advances in Computers, Vol. (1967) Advances in Computers, Vol. 8 FL Alt and M Rubinoff (Eds.), Academic Press, New York, 1967
in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968
in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968
in [ACM] (1971) [ACM] CACM 14(08) August 1971
in [ACM] (1971) [ACM] CACM 14(08) August 1971
in [ACM] (1971) [ACM] CACM 14(08) August 1971
Extract from Chapter one
in [ACM] (1971) [ACM] CACM 14(08) August 1971
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |