Inproceedings,
SPASS Version 3.5.
C. Weidenbach, D. Dimova, A. Fietzke, R. Kumar, M. Suda, and P. Wischnewski.CADE, volume 5663 of Lecture Notes in Computer Science, page 140-145. Springer, (2009)
Meta data
- BibTeX key
- conf/cade/WeidenbachDFKSW09
- entry type
- inproceedings
- booktitle
- CADE
- year
- 2009
- pages
- 140-145
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 5663
- crossref
- conf/cade/2009
- ee
- https://doi.org/10.1007/978-3-642-02959-2_10
- isbn
- 978-3-642-02958-5
- url
- http://dblp.uni-trier.de/db/conf/cade/cade2009.html#WeidenbachDFKSW09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cade/WeidenbachDFKSW09
%A Weidenbach, Christoph
%A Dimova, Dilyana
%A Fietzke, Arnaud
%A Kumar, Rohit
%A Suda, Martin
%A Wischnewski, Patrick
%B CADE
%D 2009
%E Schmidt, Renate A.
%I Springer
%K
%P 140-145
%T SPASS Version 3.5.
%U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#WeidenbachDFKSW09
%V 5663
%@ 978-3-642-02958-5
@inproceedings{conf/cade/WeidenbachDFKSW09,
added-at = {2023-12-12T17:49:30.000+0100},
author = {Weidenbach, Christoph and Dimova, Dilyana and Fietzke, Arnaud and Kumar, Rohit and Suda, Martin and Wischnewski, Patrick},
biburl = {https://www.bibsonomy.org/bibtex/207ff0d5b521e77d533ca298a7a614d33/admin},
booktitle = {CADE},
crossref = {conf/cade/2009},
editor = {Schmidt, Renate A.},
ee = {https://doi.org/10.1007/978-3-642-02959-2_10},
interhash = {094e297433b9e46c036ed0c5052acdf6},
intrahash = {07ff0d5b521e77d533ca298a7a614d33},
isbn = {978-3-642-02958-5},
keywords = {},
pages = {140-145},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T17:49:30.000+0100},
title = {SPASS Version 3.5.},
url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#WeidenbachDFKSW09},
volume = 5663,
year = 2009
}