Publications in ai-romatre-pubs.bib - Author: Thion, V.
2002
[1] A general theorem prover for quantified modal logics (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, . [bibtex] [url]
Powered by bibtexbrowser