Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)
Book title Buchtitel
Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna ; Artemov, Sergei ; Nerode, Anil | Automated Support for the Investigation of Paraconsistent and Other Logics | Konferenzbeitrag Inproceedings | 2013 |