LoTREC: Logical Tableaux Research Engineering Companion.
Olivier GasquetAndreas HerzigDominique LonginMohamad SahadePublished in: TABLEAUX (2005)
Keyphrases
- computer science
- modal logic
- engineering design
- decision procedures
- artificial intelligence
- mechanical engineering
- case study
- computer aided design
- logical reasoning
- information retrieval
- logical representation
- engineering students
- engineering problems
- engineering education
- functional dependencies
- medical images
- software engineering
- learning algorithm