European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983.
Walter OberschelpBritta SchinzelWolfgang ThomasMichael M. RichterPublished in: J. Symb. Log. (1985)
Keyphrases
- summer school
- neural learning
- proof theory
- predicate logic
- logic programming
- multi valued
- high school students
- binary decision diagrams
- logical framework
- symbolic representation
- high school
- asynchronous circuits
- high level
- digital circuits
- symbolic description
- meeting room
- sound and complete axiomatization
- speaker diarization
- european project
- learning algorithm
- computational properties
- modal logic
- case study