Back to Search
Start Over
Automated Support for the Investigation of Paraconsistent and Other Logics.
- Source :
- Logical Foundations of Computer Science (9783642357213); 2013, p119-133, 15p
- Publication Year :
- 2013
Details
- Language :
- English
- ISBNs :
- 9783642357213
- Database :
- Complementary Index
- Journal :
- Logical Foundations of Computer Science (9783642357213)
- Publication Type :
- Book
- Accession number :
- 94121781
- Full Text :
- https://doi.org/10.1007/978-3-642-35722-0_9