Automation of Higher-Order Logic (bibtex)
by Christoph Benzmüller, Dale Miller
Reference:
Automation of Higher-Order Logic (Christoph Benzmüller, Dale Miller), Chapter in Handbook of the History of Logic, Volume 9 --- Computational Logic (Dov M. Gabbay, Jörg H. Siekmann, John Woods, eds.), North Holland, Elsevier, pp. 215-254, 2014.
Bibtex Entry:
@incollection{B5,
  Author =	 {Christoph Benzm{\"u}ller and Dale Miller},
  Booktitle =	 {Handbook of the History of Logic, Volume 9 ---
                  Computational Logic},
  Doi =		 {10.1016/B978-0-444-51624-4.50005-8},
  Editor =	 {Gabbay, Dov M. and Siekmann, J\"org H. and Woods,
                  John},
  Isbn =	 {978-0-444-51624-4},
  Keywords =	 {own, Automated Reasoning, Higher Order Logic, History of
                  Logic, DFG-2501-Selected},
  Pages =	 {215-254},
  Publisher =	 {North Holland, Elsevier},
  Title =	 {Automation of Higher-Order Logic},
  Url =		 {http://christoph-benzmueller.de/papers/B5.pdf},
  Year =	 2014,
}
Powered by bibtexbrowser