Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) (bibtex)

by Unknown

Reference:

Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), (Christoph Benzmüller, John Harrison, Carsten Schürmann, eds.), 2005. (arXiv:cs/0601042)

Bibtex Entry:

@proceedings{E8, Address = {Wexford Hotel, Montego Bay, Jamaica}, Booktitle = {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)}, Editor = {Christoph Benzm{\"u}ller and John Harrison and Carsten Sch{\"u}rmann}, Keywords = {own, Higher Order Logic, Automated Reasoning}, Note = {arXiv:cs/0601042}, Title = {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)}, Url = {http://arxiv.org/abs/cs/0601042}, Year = 2005, }

Powered by bibtexbrowser