Agent-Based HOL Reasoning (bibtex)
by Alexander Steen, Max Wisniewski, Christoph Benzmüller
Reference:
Agent-Based HOL Reasoning (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (G.-M. Greuel, T. Koch, P. Paule, A. Sommese, eds.), Springer, LNCS, volume 9725, pp. 75-81, 2016.
Bibtex Entry:
@inproceedings{C56,
  Address =	 {Berlin, Germany},
  Author =	 {Alexander Steen and Max Wisniewski and Christoph
                  Benzm{\"u}ller},
  Booktitle =	 {Mathematical Software -- ICMS 2016, 5th
                  International Congress, Proceedings},
  Editor =	 {G.-M. Greuel and T. Koch and P. Paule and
                  A. Sommese},
  Isbn =	 {978-3-319-42431-6},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO Prover},
  doi =		 {10.1007/978-3-319-42432-3_10},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Agent-Based {HOL} Reasoning},
  Url =		 {http://christoph-benzmueller.de/papers/C56.pdf},
  Volume =	 9725,
  Year =	 2016,
  Pages =	 {75-81},
}
Powered by bibtexbrowser