%0 Conference Paper %1 conf/tphol/CaprottiC99 %A Caprotti, Olga %A Cohen, Arjeh M. %B TPHOLs %D 1999 %E Bertot, Yves %E Dowek, Gilles %E Hirschowitz, André %E Paulin-Mohring, Christine %E Théry, Laurent %I Springer %K dblp %P 109-112 %T Connecting Proof Checkers and Computer Algebra Using OpenMath. %U http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#CaprottiC99 %V 1690 %@ 3-540-66463-7

@inproceedings{conf/tphol/CaprottiC99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Caprotti, Olga and Cohen, Arjeh M.}, biburl = {https://www.bibsonomy.org/bibtex/27ebfa33a686c1270ff0e193a1afcd5f0/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1999}, editor = {Bertot, Yves and Dowek, Gilles and Hirschowitz, André and Paulin-Mohring, Christine and Théry, Laurent}, ee = {https://doi.org/10.1007/3-540-48256-3_8}, interhash = {eebdfc77f78573b10301faf1ba2952fc}, intrahash = {7ebfa33a686c1270ff0e193a1afcd5f0}, isbn = {3-540-66463-7}, keywords = {dblp}, pages = {109-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:19.000+0200}, title = {Connecting Proof Checkers and Computer Algebra Using OpenMath.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol99.html#CaprottiC99}, volume = 1690, year = 1999 }