Automated Theorem Proving in First-Order and Higher-Order Logic. Benzmüller, C. Saarland University, 2004. Summer 2004, 2+2 SWSbibtex @Book{Course12,
keywords = {teaching,lecture course},
author = {Christoph Benzm{\"u}ller},
title = {Automated Theorem Proving in First-Order and Higher-Order Logic},
publisher = {Saarland University},
year = 2004,
note = {Summer 2004, 2+2 SWS},
annote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html">webpage</a>},
}
Downloads: 0
{"_id":"NmW2emtqNvhNkwkne","bibbaseid":"benzmller-automatedtheoremprovinginfirstorderandhigherorderlogic-2004","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Automated Theorem Proving in First-Order and Higher-Order Logic","publisher":"Saarland University","year":"2004","note":"Summer 2004, 2+2 SWS","annote":"<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html\">webpage</a>","bibtex":"@Book{Course12,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller},\n title =\t {Automated Theorem Proving in First-Order and Higher-Order Logic},\n publisher =\t {Saarland University},\n year =\t 2004,\n note =\t {Summer 2004, 2+2 SWS},\n annote = {<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html\">webpage</a>},\n}\n\n","author_short":["Benzmüller, C."],"key":"Course12","id":"Course12","bibbaseid":"benzmller-automatedtheoremprovinginfirstorderandhigherorderlogic-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":["automated","theorem","proving","first","order","higher","order","logic","benzmüller"],"title":"Automated Theorem Proving in First-Order and Higher-Order Logic","year":2004}