%0 Conference Paper %1 conf/cade/SchmittLKN01 %A Schmitt, Stephan %A Lorigo, Lori %A Kreitz, Christoph %A Nogin, Aleksey %B IJCAR %D 2001 %E Goré, Rajeev %E Leitsch, Alexander %E Nipkow, Tobias %I Springer %K dblp %P 421-426 %T JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#SchmittLKN01 %V 2083 %@ 3-540-42254-4

@inproceedings{conf/cade/SchmittLKN01, added-at = {2021-10-14T00:00:00.000+0200}, author = {Schmitt, Stephan and Lorigo, Lori and Kreitz, Christoph and Nogin, Aleksey}, biburl = {https://www.bibsonomy.org/bibtex/2ec49b88d83f7113eec1935bbc66f550f/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2001}, editor = {Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, ee = {https://doi.org/10.1007/3-540-45744-5_34}, interhash = {fe89b95f44d827885e3e82deb80ea53d}, intrahash = {ec49b88d83f7113eec1935bbc66f550f}, isbn = {3-540-42254-4}, keywords = {dblp}, pages = {421-426}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:46.000+0200}, title = {JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#SchmittLKN01}, volume = 2083, year = 2001 }