Transitive closure and the mechanization of mathematics

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

Original language	English
Title of host publication	Thirty-five years of automating mathematics
Editors	Fairouz D. Kamareddine
Publisher	Kluwer Acad. Publ., Dordrecht
Pages	149-171
Number of pages	23
Volume	28
Edition	1
ISBN (Electronic)	978-94-017-0253-9
ISBN (Print)	978-90-481-6440-0, 978-1-4020-1656-1
DOIs	https://doi.org/10.1007/978-94-017-0253-9_7
State	Published - 2003

Name	Appl. Log. Ser.
Publisher	Kluwer Acad. Publ., Dordrecht

Access to Document

@inbook{20006576ad034a3296a847642328d7b7,

title = "Transitive closure and the mechanization of mathematics",

author = "Arnon Avron",

year = "2003",

doi = "10.1007/978-94-017-0253-9\_7",

language = "אנגלית",

isbn = "978-90-481-6440-0",

volume = "28",

series = "Appl. Log. Ser.",

publisher = "Kluwer Acad. Publ., Dordrecht",

pages = "149--171",

editor = "Kamareddine, \{Fairouz D. \}",

booktitle = "Thirty-five years of automating mathematics",

edition = "1",

}

TY - CHAP

T1 - Transitive closure and the mechanization of mathematics

AU - Avron, Arnon

PY - 2003

Y1 - 2003

U2 - 10.1007/978-94-017-0253-9_7

DO - 10.1007/978-94-017-0253-9_7

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

SN - 978-90-481-6440-0

SN - 978-1-4020-1656-1

VL - 28

T3 - Appl. Log. Ser.

SP - 149

EP - 171

BT - Thirty-five years of automating mathematics

A2 - Kamareddine, Fairouz D.

PB - Kluwer Acad. Publ., Dordrecht

ER -