Transitive closure and the mechanization of mathematics. Avron, A. In *Thirty Five Years of Automating Mathematics*, pages 149–171. Springer, 2003. bibtex @InCollection{Avron2003,
author = {Avron, A.},
title = {Transitive closure and the mechanization of mathematics},
booktitle = {Thirty Five Years of Automating Mathematics},
publisher = {Springer},
year = {2003},
pages = {149--171},
date-modified = {2017-04-30 01:18:54 +0000},
}

Downloads: 0

{"_id":"a9wemkq2dyGjQNvmG","bibbaseid":"avron-transitiveclosureandthemechanizationofmathematics-2003","authorIDs":[],"author_short":["Avron, A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Avron"],"firstnames":["A."],"suffixes":[]}],"title":"Transitive closure and the mechanization of mathematics","booktitle":"Thirty Five Years of Automating Mathematics","publisher":"Springer","year":"2003","pages":"149–171","date-modified":"2017-04-30 01:18:54 +0000","bibtex":"@InCollection{Avron2003,\n\t\t author = {Avron, A.},\n\t\t title = {Transitive closure and the mechanization of mathematics},\n\t\t\t booktitle = {Thirty Five Years of Automating Mathematics},\n\t\t\t publisher = {Springer},\n\t\t\t\t year = {2003},\n\t\t\t\t pages = {149--171},\n\t\t\t\t\t date-modified = {2017-04-30 01:18:54 +0000},\n}\n\n","author_short":["Avron, A."],"key":"Avron2003","id":"Avron2003","bibbaseid":"avron-transitiveclosureandthemechanizationofmathematics-2003","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.878Z","downloads":0,"keywords":[],"search_terms":["transitive","closure","mechanization","mathematics","avron"],"title":"Transitive closure and the mechanization of mathematics","year":2003,"dataSources":["ChWnbF8EqSa8nccMs"]}