Coverart for item
The Resource Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.), (electronic resource)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.), (electronic resource)

Label
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Title
Mechanizing mathematical reasoning
Title remainder
essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Statement of responsibility
Dieter Hutter, Werner Stephan (eds.)
Contributor
Subject
Language
eng
Member of
Dewey number
511.3/6/028563
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Siekmann, Jörg H
  • Hutter, Dieter
  • Stephan, Werner
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
  • Festschrift
Series volume
2605.
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Reasoning
  • Reasoning
Label
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262677904
Dimensions
unknown
Extent
1 online resource (ix, 563 p.)
Form of item
online
Isbn
9783540322542
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262677904
Label
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262677904
Dimensions
unknown
Extent
1 online resource (ix, 563 p.)
Form of item
online
Isbn
9783540322542
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262677904

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...