A general theorem prover for quantified modal logics (bibtex)

by Thion, V., Cerrito, Serenella and Cialdea Mayer, Marta

Reference:

A general theorem prover for quantified modal logics (Thion, V., Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, 2002.

Bibtex Entry:

@article{Thion2002266,
	Author = {Thion, V. and Cerrito, Serenella and Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {266-280},
	Source = {Scopus},
	Title = {A general theorem prover for quantified modal logics},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885233664&partnerID=40&md5=dfadf1566fc607dd2b4584ea8f55bcd4},
	Volume = {2381 LNAI},
	Year = {2002},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885233664&partnerID=40&md5=dfadf1566fc607dd2b4584ea8f55bcd4}}