New programming languages for (1974)

Cached

Download Links

by Bertram Raphael
Venue:Communications of the ACM
Citations:8 - 0 self

Active Bibliography

4 Adept - A Heuristic Program For Proving Theorems Of Group Theory – L]is Mark Norton, Departentel Gittee, Lewis Mark Norton - 1966
1 The cognitive systems paradigm – Pat Langley - 2012
DESIGN AND IMPLEMENTATION OF FLIP, A LISP FORMAT DIRECTED LIST PROCESSOR – Warren Teitelman, Contract Monitor, Stanley R. Petrick - 1967
Evolving TXL – Adrian Thurston James
6 Efficient Submatch Addressing for Regular Expressions – Ville Laurikari - 2001
Here the term – unknown authors
2 Redesigning the String Hash Table, Burst Trie, and BST to Exploit Cache – Nikolas Askitis, JUSTIN ZOBEL - 2011
PAGE #s: 14 FIGURES: Q TABLES: QIteration Abstraction in Sather – S. Murer, Credit Suisse, S. Omohundro Neci, Stephan Murer, Stephen Omohundro, David Stoutamiref, Clemens Szyperski - 1995
23 A Functional Database – Phil Trinder, Phil Trinder - 1989
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS РYuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
23 Iteration Abstraction in Sather – Stephan Murer, Stephen Omohundro, David Stoutamire, Clemens Szyperski - 1996
5 Modelling Social Interaction Attitudes in Multi-Agent Systems – Susanne Kalenka - 2001
11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems – Cordell Green
28 Domain-specific automatic programming – David Barstow - 1985
42 Theorem-proving by resolution as a basis for question-answering systems, in – Cordell Green - 1969
27 The Applications of Theorem Proving to Question-Answering Systems – Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green - 1969
225 Application of theorem proving to problem solving – Cordell Green - 1969
Focusing In Dialog 1 – Barbara Grosz Artificial - 1978
7 Learning to See Analogies: a Connectionist Exploration, Appendix A: Resources – Douglas S. Blank - 1997