Coverart for item
The Resource Thirty-five years of automating mathematics, edited by Fairouz Kamareddine

Thirty-five years of automating mathematics, edited by Fairouz Kamareddine

Label
Thirty-five years of automating mathematics
Title
Thirty-five years of automating mathematics
Statement of responsibility
edited by Fairouz Kamareddine
Title variation
35 years of automating mathematics
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Kamareddine, Fairouz D
Series statement
Applied logic series
Series volume
v. 28
http://library.link/vocab/subjectName
  • AUTOMATH (Formal language)
  • Automatic theorem proving
  • Proof theory
Label
Thirty-five years of automating mathematics, edited by Fairouz Kamareddine
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references (p. 311-314) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
53091322
Dimensions
25 cm
Extent
viii, 318 pages
Isbn
9781402016561
Isbn Type
(alk. paper)
Lccn
2003062874
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Thirty-five years of automating mathematics, edited by Fairouz Kamareddine
Publication
Copyright
Bibliography note
Includes bibliographical references (p. 311-314) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
53091322
Dimensions
25 cm
Extent
viii, 318 pages
Isbn
9781402016561
Isbn Type
(alk. paper)
Lccn
2003062874
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Bowdoin College LibraryBorrow it
      3000 College Station, Brunswick, ME, 04011-8421, US
      43.907093 -69.963997
Processing Feedback ...