Broschiertes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st ed. 2023
3. Januar 2024
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21114-0
| Gebundenes Buch | 63,99 € |
Gebundenes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st ed. 2023
2. Januar 2023
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21111-9
Broschiertes Buch
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
2006
26. Juli 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11812289,978-3-540-37104-5
Ähnliche Artikel
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
22. September 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1243-3
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9
Gebundenes Buch
To Truth Through Proof
2. Aufl.
31. Juli 2002
Springer / Springer Netherlands
978-1-4020-0763-7
Broschiertes Buch
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
1995.
21. Juli 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
10486486,978-3-540-60164-7
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
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
2013
6. Juni 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-38945-0
Broschiertes Buch
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
1992.
24. Juni 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55707-4
Ähnlichkeitssuche: Fact®Finder von OMIKRON
