|
" Theoretical approaches to non-numerical problem solving : "
Hermann Balzer
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745150
|
| Doc. No
|
:
|
b565099
|
| Main Entry
|
:
|
Hermann Balzer
|
| Title & Author
|
:
|
Theoretical approaches to non-numerical problem solving : : proceedings of the.\ Hermann Balzer
|
| Publication Statement
|
:
|
[Place of publication not identified] : Springer, 1970
|
| ISBN
|
:
|
364299976X
|
|
|
:
|
: 9783642999765
|
| Contents
|
:
|
I: Overviews.- An Overview of Mechanical Theorem Proving.- Game Playing Programs: An Approach and An Overview.- GPS and Decision Making: An Overview.- Natural Language Question Answering Systems: 1969.- II: Problems in Foundations.- The Role of Weltanschauung in Problem Solving and Inquiry.- Remarks on Mathematics and Computers.- Systems Theoretic Approach to Formal Theory of Problem Solving.- On the Representation of Problems and Goal-Directed Procedures for Computers.- III: Current Research.- Heuristic Search Programs.- Dynamic Programming and Problem-Solving.- Computer Programs Can Be Proved Correct.- A Computer-Assisted Study of GO on M x N Boards.- Stating Problems as Procedures to a General Problem Solving Program.- IV: New Applications.- Remarks on the Relationship Between Artificial Intelligence and Cognitive Psychology.- A Heuristic Program for Solving Scientific Inference Problem: Summary of Motivation and Implementation.- Heuristic Techniques for Solving Large Combinatorial Problems on a Computer.- Help Stamp Out Programming.- The Relevance of Robot Research to Artificial Intelligence.
|
| Added Entry
|
:
|
Hermann Balzer
|
| |