Is it Reasonable to Employ Agents in Theorem Proving? (bibtex)
by Max Wisniewski, Christoph Benzmüller
Reference:
Is it Reasonable to Employ Agents in Theorem Proving? (Max Wisniewski, Christoph Benzmüller), In Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016) -- Volume 1, pages 281-286 (Jan van den Heerik, Joaquim Filipe, eds.), SCITEPRESS -- Science and Technology Publications, Lda, volume 1, pp. 281-286, 2016.
Bibtex Entry:
@inproceedings{C53,
  Address =	 {Rome, Italy},
  Author =	 {Max Wisniewski and Christoph Benzm{\"u}ller},
  Booktitle =	 {Proceedings of the 8th International Conference on
                  Agents and Artificial Intelligence (ICAART 2016) --
                  Volume 1, pages 281-286},
  Doi =		 {10.5220/0005824702810286},
  Editor =	 {van den Heerik, Jan and Filipe, Joaquim},
  Isbn =	 {978-989-758-172-4},
  Keywords =	 {own, Automated Reasoning, LEO Prover, Higher Order Logic,
                  Agents},
  Pages =	 {281-286},
  Publisher =	 {SCITEPRESS -- Science and Technology Publications,
                  Lda},
  Title =	 {Is it Reasonable to Employ Agents in Theorem
                  Proving?},
  Url =		 {http://christoph-benzmueller.de/papers/C53.pdf},
  Volume =	 1,
  Year =	 2016,
}
Powered by bibtexbrowser