@Book{Course13,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Claus-Peter Wirth},
  title =	 {Human-Oriented Theorem Proving: Foundations and Applications},
  publisher =	 {Saarland University},
  year =	 {2004},
  note =	 {Winter 2003/04, 4+2 SWS},
}

{"_id":"SaZJcq47Y7ktrQE2m","bibbaseid":"benzmller-fiedler-wirth-humanorientedtheoremprovingfoundationsandapplications-2004","author_short":["Benzmüller, C.","Fiedler, A.","Wirth, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Fiedler"],"suffixes":[]},{"firstnames":["Claus-Peter"],"propositions":[],"lastnames":["Wirth"],"suffixes":[]}],"title":"Human-Oriented Theorem Proving: Foundations and Applications","publisher":"Saarland University","year":"2004","note":"Winter 2003/04, 4+2 SWS","bibtex":"@Book{Course13,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller and Armin Fiedler and Claus-Peter Wirth},\n title =\t {Human-Oriented Theorem Proving: Foundations and Applications},\n publisher =\t {Saarland University},\n year =\t {2004},\n note =\t {Winter 2003/04, 4+2 SWS},\n}\n\n","author_short":["Benzmüller, C.","Fiedler, A.","Wirth, C."],"key":"Course13","id":"Course13","bibbaseid":"benzmller-fiedler-wirth-humanorientedtheoremprovingfoundationsandapplications-2004","role":"author","urls":{},"keyword":["teaching","lecture course"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","lecture course"],"search_terms":["human","oriented","theorem","proving","foundations","applications","benzmüller","fiedler","wirth"],"title":"Human-Oriented Theorem Proving: Foundations and Applications","year":2004}