|
1.
|
|
-
ISBN:
-
978-0-8186-2460-5
-
Book Format:
- Paperback
-
List Price:
- USD $80.00
-
Publisher:
- IEEE Computer Society Press
-
Publication Date:
- Jan 1992
|
|
|
2.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
3.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
4.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
5.
|
|
|
|
|
6.
|
|
|
|
|
7.
|
|
Notizbuch Journal Tagebuch 100 Linierte...
|
|
|
8.
|
|
-
Author:
-
Höl
-
ISBN:
-
979-8-3693-0066-4
-
Book Format:
- Hardback
-
List Price:
- AUD $397.10
-
Publisher:
- IGI Global
-
Publication Date:
- Dec 2023
|
|
|
9.
|
|
-
Author:
-
Höl
-
ISBN:
-
979-8-3693-0066-4
-
Book Format:
- Hardback
-
List Price:
- USD $235.00
-
Publisher:
- IGI Global
-
Publication Date:
- Dec 2023
|
|
|
10.
|
|
-
Author:
-
Höl
-
ISBN:
-
979-8-3693-0070-1
-
Book Format:
- Multiple-item retail product
-
List Price:
- USD $280.00
-
Publisher:
- IGI Global
-
Publication Date:
- Dec 2023
|
|
|
11.
|
|
Nutrition: A Manual of Eleven Laboratories...
|
|
|
12.
|
|
-
Author:
-
Hol, Karen
-
ISBN:
-
978-1-7238-1333-7
-
Book Format:
- Paperback
-
List Price:
- USD $15.00
-
Publisher:
- Independently Published
-
Publication Date:
- Nov 2018
|
|
|
13.
|
|
|
|
|
14.
|
|
Vaderlandsche Legende - Primary Source Edition
-
Author:
-
Hol, Rijk
-
ISBN:
-
978-1-295-26697-5
-
Book Format:
- Paperback
-
List Price:
- USD $17.75
-
Publisher:
- Creative Media Partners, LLC
-
Publication Date:
- Nov 2013
|
|
|
15.
|
|
Vaderlandsche Legende
-
Author:
-
Hol, Rijk
-
ISBN:
-
978-1-145-23122-1
-
Book Format:
- Paperback
-
List Price:
- USD $17.75
-
Publisher:
- Creative Media Partners, LLC
-
Publication Date:
- Feb 2010
|
|
|
16.
|
|
|
|
|
17.
|
|
-
Author:
-
Hol, A.
-
ISBN:
-
978-1-4653-2388-0
-
Book Format:
- Ebook
-
List Price:
- USD $3.99
-
Publisher:
- Xlibris Corporation LLC
-
Publication Date:
- Jan 2003
|
|
|
18.
|
|
|
|
|
19.
|
|
|
|
|
20.
|
|
Vaderlandsche Legende - Primary Source Edition
-
Author:
-
Hol, Rijk
-
ISBN:
-
978-1-295-26697-5
-
Book Format:
- Paperback
-
List Price:
- AUD $32.99
-
Publisher:
- Creative Media Partners, LLC
-
Publication Date:
- Nov 2013
|
|