%0 Conference Paper %1 conf/cade/GorePSV98 %A Goré, Rajeev %A Posegga, Joachim %A Slater, Andrew %A Vogt, Harald %B CADE %D 1998 %E Kirchner, Claude %E Kirchner, Hélène %I Springer %K dblp %P 47-50 %T System Description: card TAP: The First Theorem Prover on a Smart Card. %U http://dblp.uni-trier.de/db/conf/cade/cade98.html#GorePSV98 %V 1421 %@ 3-540-64675-2

@inproceedings{conf/cade/GorePSV98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Goré, Rajeev and Posegga, Joachim and Slater, Andrew and Vogt, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2a3be78bb2611d18e96ac1d76a3cf348b/dblp}, booktitle = {CADE}, crossref = {conf/cade/1998}, editor = {Kirchner, Claude and Kirchner, Hélène}, ee = {https://doi.org/10.1007/BFb0054246}, interhash = {b07849e4b55d4275977ee9e0d4f85dde}, intrahash = {a3be78bb2611d18e96ac1d76a3cf348b}, isbn = {3-540-64675-2}, keywords = {dblp}, pages = {47-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {System Description: card TAP: The First Theorem Prover on a Smart Card.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade98.html#GorePSV98}, volume = 1421, year = 1998 }