๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Logic for problem solving

โœ Scribed by Robert Kowalski


Publisher
Elsevier North Holland
Year
1979
Tongue
English
Leaves
298
Series
Artificial intelligence series; The Computer science library
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Logic for problem solving
โœ Robert A. Kowalski ๐Ÿ“‚ Library ๐Ÿ“… 1979 ๐Ÿ› Elsevier North Holland ๐ŸŒ English

Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming

Contextual Problem Solving Adaptive Logi
โœ Batens D. ๐Ÿ“‚ Library ๐ŸŒ English

Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.