Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/cade/BarrettDS00
%A Barrett, Clark W.
%A Dill, David L.
%A Stump, Aaron
%B CADE
%D 2000
%E McAllester, David A.
%I Springer
%K dblp
%P 79-98
%T A Framework for Cooperating Decision Procedures.
%U http://dblp.uni-trier.de/db/conf/cade/cade2000.html#BarrettDS00
%V 1831
%@ 3-540-67664-3
@inproceedings{conf/cade/BarrettDS00,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Barrett, Clark W. and Dill, David L. and Stump, Aaron},
biburl = {https://www.bibsonomy.org/bibtex/2e7ae7d6fe41883aa673583ab9002e3d8/dblp},
booktitle = {CADE},
crossref = {conf/cade/2000},
editor = {McAllester, David A.},
ee = {https://doi.org/10.1007/10721959_6},
interhash = {a8d3cba2a7f63fae539acf779382bbd7},
intrahash = {e7ae7d6fe41883aa673583ab9002e3d8},
isbn = {3-540-67664-3},
keywords = {dblp},
pages = {79-98},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T18:56:02.000+0200},
title = {A Framework for Cooperating Decision Procedures.},
url = {http://dblp.uni-trier.de/db/conf/cade/cade2000.html#BarrettDS00},
volume = 1831,
year = 2000
}