Broschiertes Buch
Basics, Syntax, and Semantics
26. Juli 2025
LAP Lambert Academic Publishing
Broschiertes Buch
22. Oktober 2024
LAP Lambert Academic Publishing
Ähnliche Artikel
Broschiertes Buch
With Practical Automated Reasoning and Verification
5. Dezember 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87884-9
Gebundenes Buch
With Practical Automated Reasoning and Verification
4. Dezember 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87881-8
Broschiertes Buch
Introduction to expert systems with application examples using Prolog
28. August 2024
LAP Lambert Academic Publishing
Broschiertes Buch
3. Aufl.
17. Juni 2012
Springer / Springer London / Springer, Berlin
86071174,978-1-4471-4128-0
Broschiertes Buch
The Art of Thinking Abstractly and Mathematically
1st ed. 2021
11. Februar 2021
Springer / Springer International Publishing / Springer, Berlin / Universitetforlaget
978-3-030-63776-7
Broschiertes Buch
An Introduction to Program Verification
2011 edition
7. Januar 2011
Springer / Springer London / Springer, Berlin
12243228,978-0-85729-017-5
Broschiertes Buch
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
1995.
11. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60359-7
Broschiertes Buch
6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
2004
14. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11014027,978-3-540-22253-8
Broschiertes Buch
Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
2000.
5. Januar 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719570,978-3-540-66992-0
Broschiertes Buch
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
2011
4. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80028528,978-3-642-17510-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
