Skip to main navigation Skip to search Skip to main content

Transitive closure and the mechanization of mathematics

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationThirty-five years of automating mathematics
EditorsFairouz D. Kamareddine
PublisherKluwer Acad. Publ., Dordrecht
Pages149-171
Number of pages23
Volume28
Edition1
ISBN (Electronic)978-94-017-0253-9
ISBN (Print)978-90-481-6440-0, 978-1-4020-1656-1
DOIs
StatePublished - 2003

Publication series

NameAppl. Log. Ser.
PublisherKluwer Acad. Publ., Dordrecht

Cite this