%0 Conference Paper %1 conf/ppig/AczelFBOOS99 %A Aczel, James %A Fung, Pat %A Bornat, Richard %A Oliver, Martin %A O'Shea, Tim %A Sufrin, Bernard %B PPIG %D 1999 %I Psychology of Programming Interest Group %K dblp %P 15 %T Computer science undergraduates learning logic using a proof editor: work in progress. %U http://dblp.uni-trier.de/db/conf/ppig/ppig1999.html#AczelFBOOS99

@inproceedings{conf/ppig/AczelFBOOS99, added-at = {2022-05-18T00:00:00.000+0200}, author = {Aczel, James and Fung, Pat and Bornat, Richard and Oliver, Martin and O'Shea, Tim and Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/28fcd7e63b204b59dec5fc0aa934577b8/dblp}, booktitle = {PPIG}, crossref = {conf/ppig/1999}, ee = {https://ppig.org/papers/1999-ppig-11th-aczel/}, interhash = {e1f397af8892f3887b401ccc9b6a3a6c}, intrahash = {8fcd7e63b204b59dec5fc0aa934577b8}, keywords = {dblp}, pages = 15, publisher = {Psychology of Programming Interest Group}, timestamp = {2024-04-09T15:06:11.000+0200}, title = {Computer science undergraduates learning logic using a proof editor: work in progress.}, url = {http://dblp.uni-trier.de/db/conf/ppig/ppig1999.html#AczelFBOOS99}, year = 1999 }