


default search action
Artificial Intelligence, Volume 7
Volume 7, Number 1, March 1976
- Lawrence J. Mazlack:

Computer Construction of Crossword Puzzles Using Precedence Relationships. 1-19 - Charles L. Hedrick:

Learning Production Systems from Examples. 21-49 - Robert E. Shostak:

Refutation Graphs. 51-64 - Gregory R. Ruth:

Intelligent Program Analysis. 65-85
Volume 7, Number 2, June 1976
- Chuck Rieger:

An Organization of Knowledge for Problem Solving and Language Comprehension. 89-127 - Olga Stepánková, Ivan M. Havel

:
A Logical Theory of Robot Problem Solving. 129-161 - Lenhart K. Schubert

:
Extending the Expressive Power of Semantic Networks. 163-198
- Stuart C. Shapiro:

Earl B. Hunt, Artificial Intelligence. 199-201
Volume 7, Number 3, September 1976
- Billy G. Claybrook:

A New Approach to the Symbolic Factorization of Multivariate Polynomials. 203-241 - Giorgio Levi, Franco Sirovich:

Generalized AND/OR Graphs. 243-259 - Daniel L. Chester:

The Translation of Formal Proofs into English. 261-278
- Azriel Rosenfeld:

Patrick Henry Winston (editor), The Psychology of Computer Vision. 279-282
Volume 7, Number 4, December 1976
- Daniel Brand:

Analytic Resolution in Theorem Proving. 285-318 - Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall:

A Partial Evaluator, and its Use as a Programming Tool. 319-357
- Daniel L. Chester:

John Craig Comfort, A Flexible Efficient Computer System to Answer Human Questions. 363-365

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














