%0 Thesis %1 phd/de/Eisinger2009 %A Eisinger, Jochen %D 2009 %K dblp %T Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.

@phdthesis{phd/de/Eisinger2009, added-at = {2016-05-04T00:00:00.000+0200}, author = {Eisinger, Jochen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25228984f97b5d6555d1c2a3ef8648e2b/dblp}, ee = {http://d-nb.info/993483666}, interhash = {f1a154b85beefd4418ef8d9b55ec4b88}, intrahash = {5228984f97b5d6555d1c2a3ef8648e2b}, keywords = {dblp}, school = {University of Freiburg}, timestamp = {2016-05-05T09:34:58.000+0200}, title = {Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.}, year = 2009 }