Ricardo Caferra, Gernot Salzer, editors, Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Volume 1761 of Lecture Notes in Computer Science, Springer, 2000.
Conference: ftp2000
@proceedings{ftp:1998,
title = {Automated Deduction in Classical and Non-Classical Logics, Selected Papers},
year = {2000},
tags = {logic},
researchr = {https://researchr.org/publication/ftp%3A1998},
cites = {0},
citedby = {0},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected Papers},
conference = {ftp},
editor = {Ricardo Caferra and Gernot Salzer},
volume = {1761},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67190-0},
}