Buch
1967
Neue-Deutsche-Schule-Verlagsgesellschaft
Broschiertes Buch
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
1998.
11. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10631976,978-3-540-64301-2
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
2002
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
Broschiertes Buch
With Isabelle/HOL
Softcover reprint of the original 1st ed. 2014
10. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-35759-1
Gebundenes Buch | 58,99 € |
Gebundenes Buch
With Isabelle/HOL
2014
15. Dezember 2014
Springer / Springer International Publishing / Springer, Berlin
86358573,978-3-319-10541-3
Broschiertes Buch
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
2001
6. Juni 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42254-9
Broschiertes Buch
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-37215-8
Broschiertes Buch
Energietechnik im Gebäude
5., überarb. Aufl.
8. März 2016
vdf Hochschulverlag AG
Ähnlichkeitssuche: Fact®Finder von OMIKRON