equal
deleted
inserted
replaced
78 year = {2010} |
78 year = {2010} |
79 } |
79 } |
80 |
80 |
81 @PhdThesis{cezary-phd, |
81 @PhdThesis{cezary-phd, |
82 author = {Kalisyk, Cezary}, |
82 author = {Kalisyk, Cezary}, |
83 title = {TODO}, |
83 title = {Correctness and Availability. Building Computer Algebra on top of Proof Assistants and making Proof Assistants available over the Web}, |
84 school = {}, |
84 school = {Radboud University Nijmegen}, |
85 year = {}, |
85 year = {2009}, |
86 OPTkey = {}, |
86 type = {IPA Dissertation Series 2009-18}, |
87 OPTtype = {}, |
87 note = {Promotor Herman Geuvers} |
88 OPTaddress = {}, |
|
89 OPTmonth = {}, |
|
90 OPTnote = {}, |
|
91 OPTannote = {} |
|
92 } |
88 } |
93 |
89 |
94 @Book{bb-loos, |
90 @Book{bb-loos, |
95 editor = {Buchberger, Bruno and Collins, George Edwin and Loos, |
91 editor = {Buchberger, Bruno and Collins, George Edwin and Loos, |
96 R\"udiger and Albrecht, Rudolf}, |
92 R\"udiger and Albrecht, Rudolf}, |