Automation of Higher-Order Logic

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

langue originale	Anglais
titre	Handbook of the History of Logic
Editeur	Elsevier B.V.
Pages	215-254
Nombre de pages	40
Edition	C
Les DOIs	https://doi.org/10.1016/B978-0-444-51624-4.50005-8
état	Publié - 1 janv. 2014

Nom	Handbook of the History of Logic
nombre	C
Volume	9
ISSN (imprimé)	1874-5857

Accès au 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 -