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