Non-Fiction, Computing & Internet
Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

,
Paperback Published on: 23/02/2005
£89.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540250517
  • Number of pages: 570
  • Dimensions: 233 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Ghost In The Wires
Kevin Mitnick
£9.99
Alan Turing: The Enigma
Andrew Hodges
£14.99
Structure and Interpretation of Computer Programs
Harold Abelson
£76.00
Tubes
Andrew Blum
£10.99
How to Draw Digital Manga and Anime
Tim Seelig
£7.99
Don't Make Me Think, Revisited
Steve Krug
£33.49
The Mythical Man-Month
Theory of Fun for Game Design
Raph Koster
£35.99
The Elements of Statistical Learning
Trevor Hastie
£70.50
The Computer
Darrel Ince
£9.99
C Programming Language
Brian W. Kernighan
£49.99
User Story Mapping
Jeff Patton
£31.99
The Computer and the Brain
John von Neumann
£12.99
Zeros and Ones
Sadie Plant
£10.99
Koji Kondo's Super Mario Bros. Soundtrack
Andrew Schartmann
£9.99