Automation of Higher-Order Logic

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Handbook of the History of Logic
Publisher	Elsevier B.V.
Pages	215-254
Number of pages	40
Edition	C
DOIs	https://doi.org/10.1016/B978-0-444-51624-4.50005-8
Publication status	Published - 1 Jan 2014

Name	Handbook of the History of Logic
Number	C
Volume	9
ISSN (Print)	1874-5857

Access to Document

@inbook{74a9d75a3d024eaa851ff9fbfd61642c,

title = "Automation of Higher-Order Logic",

author = "Christoph Benzm{\"u}ller and Dale Miller",

year = "2014",

month = jan,

day = "1",

doi = "10.1016/B978-0-444-51624-4.50005-8",

language = "English",

series = "Handbook of the History of Logic",

publisher = "Elsevier B.V.",

number = "C",

pages = "215--254",

booktitle = "Handbook of the History of Logic",

edition = "C",

}

TY - CHAP

T1 - Automation of Higher-Order Logic

AU - Benzmüller, Christoph

AU - Miller, Dale

PY - 2014/1/1

Y1 - 2014/1/1

UR - https://www.scopus.com/pages/publications/84961288927

U2 - 10.1016/B978-0-444-51624-4.50005-8

DO - 10.1016/B978-0-444-51624-4.50005-8

M3 - Chapter

AN - SCOPUS:84961288927

T3 - Handbook of the History of Logic

SP - 215

EP - 254

BT - Handbook of the History of Logic

PB - Elsevier B.V.

ER -