09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
T. Ball, J. Giesl, R. Hähnle, and T. Nipkow. Interaction versus Automation: The two Faces of Deduction, volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dagstuhl/BallGHN09
%A Ball, Thomas
%A Giesl, Jürgen
%A Hähnle, Reiner
%A Nipkow, Tobias
%B Interaction versus Automation: The two Faces of Deduction
%D 2009
%E Ball, Thomas
%E Giesl, Jürgen
%E Hähnle, Reiner
%E Nipkow, Tobias
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
%K
%T 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
%U http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09
%V 09411
@inproceedings{conf/dagstuhl/BallGHN09,
added-at = {2023-12-12T23:52:51.000+0100},
author = {Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias},
biburl = {https://www.bibsonomy.org/bibtex/2f08bb9af706a5325155346c500ff48f8/admin},
booktitle = {Interaction versus Automation: The two Faces of Deduction},
crossref = {conf/dagstuhl/2009P9411},
editor = {Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias},
ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2503/},
interhash = {5b9f1a61786c9af9416d58c14e97c1e9},
intrahash = {f08bb9af706a5325155346c500ff48f8},
keywords = {},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2023-12-12T23:52:51.000+0100},
title = {09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9411.html#BallGHN09},
volume = 09411,
year = 2009
}