![Logic in Computer Science Logic in Computer Science](https://bilder.buecher.de/produkte/71/71789/71789383m.jpg)
Broschiertes Buch
12. Januar 2025
Springer / Springer Nature Singapore / Springer, Berlin
978-981-97-9815-5
eBook, PDF | 48,95 € |
![Automated Mathematical Induction Automated Mathematical Induction](https://bilder.buecher.de/produkte/22/22536/22536719m.jpg)
Gebundenes Buch
1996.
31. Mai 1996
Springer / Springer Netherlands
978-0-7923-4010-2
![Logic in Computer Science (eBook, PDF) Logic in Computer Science (eBook, PDF)](https://bilder.buecher.de/produkte/73/73307/73307363m.jpg)
![Automated Mathematical Induction Automated Mathematical Induction](https://bilder.buecher.de/produkte/36/36120/36120315m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1996
28. September 2011
Springer / Springer Netherlands
978-94-010-7250-2
eBook, PDF | 73,95 € |
![Automated Mathematical Induction (eBook, PDF) Automated Mathematical Induction (eBook, PDF)](https://bilder.buecher.de/produkte/44/44180/44180881m.jpg)
Ähnliche Artikel
![Space in Weak Propositional Proof Systems Space in Weak Propositional Proof Systems](https://bilder.buecher.de/produkte/50/50163/50163073m.jpg)
Gebundenes Buch
1st ed. 2017
2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73452-1
![Space in Weak Propositional Proof Systems Space in Weak Propositional Proof Systems](https://bilder.buecher.de/produkte/54/54824/54824167m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2017
7. Juni 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89249-8
![Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation](https://bilder.buecher.de/produkte/50/50232/50232669m.jpg)
Broschiertes Buch
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
1st ed. 2018
10. Januar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73720-1
![Theory and Applications of Satisfiability Testing Theory and Applications of Satisfiability Testing](https://bilder.buecher.de/produkte/23/23391/23391441m.jpg)
Broschiertes Buch
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
2005
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-26276-3
![Theory and Applications of Satisfiability Testing - SAT 2008 Theory and Applications of Satisfiability Testing - SAT 2008](https://bilder.buecher.de/produkte/23/23881/23881947m.jpg)
Broschiertes Buch
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
2008
25. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12265787,978-3-540-79718-0
![A Modern Perspective on Type Theory A Modern Perspective on Type Theory](https://bilder.buecher.de/produkte/13/13983/13983091m.jpg)
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7
![Theory and Applications of Satisfiability Testing - SAT 2007 Theory and Applications of Satisfiability Testing - SAT 2007](https://bilder.buecher.de/produkte/22/22917/22917429m.jpg)
Broschiertes Buch
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-72787-3
![Logical Foundations of Computer Science Logical Foundations of Computer Science](https://bilder.buecher.de/produkte/09/09197/09197680m.jpg)
Broschiertes Buch
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
1997.
28. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548775,978-3-540-63045-6
![Mathematical Foundations of Computer Science 2003 Mathematical Foundations of Computer Science 2003](https://bilder.buecher.de/produkte/23/23382/23382091m.jpg)
Broschiertes Buch
28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
2003
11. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40671-6
![Mathematical Foundations of Computer Science 1997 Mathematical Foundations of Computer Science 1997](https://bilder.buecher.de/produkte/09/09244/09244248m.jpg)
Broschiertes Buch
22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
1997.
13. August 1997
Springer, Berlin
Ähnlichkeitssuche: Fact®Finder von OMIKRON