copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Reasoning in the Wild

U. Furbach, B. Pelzer, and C. Schon. Automated Deduction - CADE-25 , volume 9195 of Lecture Notes in Computer Science, Springer International Publishing, (2015)

Links and resources

DOI:: 10.1007/978-3-319-21401-6_3
URL:: http://dx.doi.org/10.1007/978-3-319-21401-6_3
BibTeX key:: Furbach:2015uq
search on:: Google Scholar Microsoft Bing WorldCat BASE

Comments and Reviews
(0)

There is no review or comment yet. You can write one!

Cite this publication

@incollection{Furbach:2015uq,
  added-at = {2016-10-07T08:37:10.000+0200},
  author = {Furbach, Ulrich and Pelzer, Bj{\"o}rn and Schon, Claudia},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-21401-6_3},
  biburl = {https://www.bibsonomy.org/bibtex/245c3f304b37096439ec7306af07f0950/cschon},
  booktitle = {Automated Deduction - CADE-25},
  date-added = {2015-10-27 11:15:39 +0000},
  date-modified = {2015-10-27 11:15:41 +0000},
  doi = {10.1007/978-3-319-21401-6_3},
  editor = {Felty, Amy P. and Middeldorp, Aart},
  interhash = {008e6ae5a1b8a17cc74c23d97d53c345},
  intrahash = {45c3f304b37096439ec7306af07f0950},
  isbn = {978-3-319-21400-9},
  keywords = {myown schon west.uni-koblenz.de},
  language = {English},
  pages = {55-72},
  publisher = {Springer International Publishing},
  series = {Lecture Notes in Computer Science},
  timestamp = {2017-07-12T13:49:23.000+0200},
  title = {Automated Reasoning in the Wild},
  url = {http://dx.doi.org/10.1007/978-3-319-21401-6_3},
  volume = 9195,
  year = 2015
}

%0 Book Section
%1 Furbach:2015uq
%A Furbach, Ulrich
%A Pelzer, Björn
%A Schon, Claudia
%B Automated Deduction - CADE-25
%D 2015
%E Felty, Amy P.
%E Middeldorp, Aart
%I Springer International Publishing
%K myown schon west.uni-koblenz.de
%P 55-72
%R 10.1007/978-3-319-21401-6_3
%T Automated Reasoning in the Wild
%U http://dx.doi.org/10.1007/978-3-319-21401-6_3
%V 9195
%@ 978-3-319-21400-9

BibSonomy

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Reasoning in the Wild

Links and resources

Comments and Reviews
(0)

Tags

Cite this publication

Meta data

community

In collection of:

tags (@cschon's tags highlighted)

BibSonomy

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Automated Reasoning in the Wild

Links and resources

Comments and Reviews (0)

Tags

Cite this publication

Meta data

community

In collection of:

tags (@cschon's tags highlighted)

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Reasoning in the Wild

Comments and Reviews
(0)