Meta data
- BibTeX key
- KerberEtAl:AutoReasEcon13
- entry type
- inproceedings
- booktitle
- 20th Automated Reasoning Workshop (ARW)
- year
- 2013
- venue
- Dundee, UK
- pubs
- clange,projects/formare
- eventdate
- 2013-04-11/2013-04-12
- note
- Invited paper
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 KerberEtAl:AutoReasEcon13
%A Kerber, Manfred
%A Lange, Christoph
%A Rowat, Colin
%B 20th Automated Reasoning Workshop (ARW)
%D 2013
%E Bolotov, Alexander
%E Colton, Simon
%E Crocker, David
%E Dennis, Louise
%E Dixon, Clare
%E Fleuriot, Jacques
%E Hustadt, Ullrich
%E Jamnik, Mateja
%E Komendantskaya, Katya
%E Miller, Alice
%E Schmidt, Renate
%E Sorge, Volker
%E Heras, Jónathan
%K imported
%T Automated Reasoning for Economics
@inproceedings{KerberEtAl:AutoReasEcon13,
added-at = {2017-01-27T23:28:47.000+0100},
author = {Kerber, Manfred and Lange, Christoph and Rowat, Colin},
biburl = {https://www.bibsonomy.org/bibtex/220b403f392c4b0fb1633e4a236bcf62a/soeren},
booktitle = {20\textsuperscript{th} Automated Reasoning Workshop (ARW)},
editor = {Bolotov, Alexander and Colton, Simon and Crocker, David and Dennis, Louise and Dixon, Clare and Fleuriot, Jacques and Hustadt, Ullrich and Jamnik, Mateja and Komendantskaya, Katya and Miller, Alice and Schmidt, Renate and Sorge, Volker and Heras, J{\'o}nathan},
eventdate = {2013-04-11/2013-04-12},
interhash = {898fb19dc4c2dca907e62a6f360d81c7},
intrahash = {20b403f392c4b0fb1633e4a236bcf62a},
keywords = {imported},
note = {Invited paper},
pubs = {clange,projects/formare},
timestamp = {2017-01-27T23:30:12.000+0100},
title = {Automated Reasoning for Economics},
venue = {Dundee, UK},
year = 2013
}