Assunto: BC1-199
Assunto: logic
Autor: Carrara, Massimiliano
Autor: Corsi, Esther Anna
Registos relacionados: Tableau Methods for Propositional Logic and Term Logic
Registos relacionados: Automated Reasoning
- Automated Reasoning
- Automated Deduction – CADE 28
- Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computation Structures
- Inquisitive Logic