CADE 2015 in Berlin: A Proposal

Benzmüller, Christoph

by Christoph Benzmüller

Reference:

CADE 2015 in Berlin: A Proposal (Christoph Benzmüller), 2013.

Bibtex Entry:

@unpublished{R54,
  Author =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, Automated Reasoning},
  Title =	 {{CADE 2015 in Berlin: A Proposal}},
  Year =	 2013
}