Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/japll/BuchbergerCJKKNPPRR06
%A Buchberger, Bruno
%A Craciun, Adrian
%A Jebelean, Tudor
%A Kovács, Laura
%A Kutsia, Temur
%A Nakagawa, Koji
%A Piroi, Florina
%A Popov, Nikolaj
%A Robu, Judit
%A Rosenkranz, Markus
%A Windsteiger, Wolfgang
%D 2006
%J J. Applied Logic
%K dblp
%N 4
%P 470-504
%T Theorema: Towards computer-aided mathematical theory exploration.
%U http://dblp.uni-trier.de/db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06
%V 4
@article{journals/japll/BuchbergerCJKKNPPRR06,
added-at = {2014-10-10T00:00:00.000+0200},
author = {Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovács, Laura and Kutsia, Temur and Nakagawa, Koji and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23424c82f7a503f186c194307d0b66154/dblp},
ee = {http://dx.doi.org/10.1016/j.jal.2005.10.006},
interhash = {e38bc86b236a5e2097d878d1a17f0412},
intrahash = {3424c82f7a503f186c194307d0b66154},
journal = {J. Applied Logic},
keywords = {dblp},
number = 4,
pages = {470-504},
timestamp = {2016-02-02T09:20:36.000+0100},
title = {Theorema: Towards computer-aided mathematical theory exploration.},
url = {http://dblp.uni-trier.de/db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06},
volume = 4,
year = 2006
}