On the Warsaw interactions of logic and mathematics in the years 1919-1939.
Roman DudaPublished in: Ann. Pure Appl. Log. (2004)
Keyphrases
- computer algebra
- modal logic
- computer science
- classical logic
- proof theory
- formal logic
- neural network
- nonmonotonic logics
- database
- automated reasoning
- multi valued
- default reasoning
- formal theory
- computational properties
- logic programming
- logic programs
- knowledge representation
- artificial intelligence
- data mining
- real time