The Coming Wave
Paperback
Published 03 Oct 2024
- $15.44
Generalization, Lemma Generation, and Induction in Acl2.
Paperback (01 Sep 2011)
Not available for sale
Out of stock
Check stock
Book information
| ISBN: | 9781243512864 |
| Publisher: | Proquest, Umi Dissertation Publishing |
| Imprint: | Proquest, Umi Dissertation Publishing |
| Pub date: | 01 Sep 2011 |
| Language: | English |
| Number of pages: | 130 |
| Weight: | 247g |
| Height: | 246mm |
| Width: | 189mm |
| Spine width: | 7mm |
We recommend
The Coming Wave
$2.02off
The Science of Interstellar
Paperback
Published 07 Nov 2014
Save $2.02
- RRP $27.33
- $25.31
Dopamine Nation
Paperback
Published 19 Jan 2023
- $15.39
$1.91off
The Official Dopamine Nation Wo...
Paperback
Published 01 Oct 2024
Save $1.91
- RRP $20.49
- $18.58
$3.96off
The Power of Nuclear
Hardback
Published 07 Nov 2024
Save $3.96
- RRP $25.96
- $22.00
The Machine Age
Paperback
Published 07 Nov 2024
- $15.65
$10.09off
The Art of Physics
Hardback
Published 21 Nov 2024
Save $10.09
- RRP $30.08
- $19.99
$8.39off
The Genetic Book of the Dead
Hardback
Published 17 Oct 2024
Save $8.39
- RRP $34.18
- $25.79
$17.31off
The Graduate's Guide to Future-...
Paperback
Published 06 Dec 2024
Save $17.31
- RRP $31.43
- $14.12