equal
deleted
inserted
replaced
140 bibsource = {DBLP, http://dblp.uni-trier.de} |
140 bibsource = {DBLP, http://dblp.uni-trier.de} |
141 } |
141 } |
142 |
142 |
143 @InProceedings{gdaroczy-EP-13, |
143 @InProceedings{gdaroczy-EP-13, |
144 author = {Gabriella Dar\'{o}czy and Walther Neuper}, |
144 author = {Gabriella Dar\'{o}czy and Walther Neuper}, |
|
145 booktitle = {unknown}, |
145 title = {Exploitation of ``Next-Step-Guidance'' in a {TP}-based Math Assistant}, |
146 title = {Exploitation of ``Next-Step-Guidance'' in a {TP}-based Math Assistant}, |
146 OPTpages = {TODO-TODO}, |
147 OPTpages = {TODO-TODO}, |
147 crossref = {eduTPS-12} |
148 crossref = {eduTPS-12} |
148 } |
149 } |
149 |
150 |
189 author = {Milner, R.}, |
190 author = {Milner, R.}, |
190 title = {A Theory of Type Polymorphism in Programming}, |
191 title = {A Theory of Type Polymorphism in Programming}, |
191 journal = {Journal of Computer and System Science (JCSS)}, |
192 journal = {Journal of Computer and System Science (JCSS)}, |
192 year = {1978}, |
193 year = {1978}, |
193 number = {17}, |
194 number = {17}, |
|
195 volume = {0}, |
194 pages = {348-374} |
196 pages = {348-374} |
195 } |
197 } |
196 |
198 |
197 @inproceedings{Wenzel-11:doc-orient, |
199 @inproceedings{Wenzel-11:doc-orient, |
198 author = {Wenzel, Makarius}, |
200 author = {Wenzel, Makarius}, |