2007
Paperback (28 Aug 2007)
Save $5.89
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.
| ISBN: | 9783540745907 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 28 Aug 2007 |
| Edition: | 2007 |
| Language: | English |
| Number of pages: | 404 |
| Weight: | 635g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 21mm |
Machine Learning
Hardback
Published 24 Aug 2012
$20.55off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.55
$25.62off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $25.62
$21.47off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $21.47
$5.93off
Foundations of Cryptography
Paperback
Published 18 Jan 2007
Save $5.93
$36.60off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $36.60
$4.41off
Linear Algebra for Data Science...
Hardback
Published 16 May 2024
Save $4.41
$11.36off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.36
$32.12off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.12
$79.24off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $79.24