Suchergebnisse für ""Hantao Zhang""




Ähnliche Artikel


Space in Weak Propositional Proof Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ilario Bonacina
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2017
2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-73452-1

Space in Weak Propositional Proof Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ilario Bonacina
  (Aktuell noch keine Bewertungen)
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
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
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
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Fahiem Bacchus / Toby Walsh (eds.)
  (Aktuell noch keine Bewertungen)
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
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Hans Kleine Büning / Xishun Zhao (eds.)
  (Aktuell noch keine Bewertungen)
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

Logical Foundations of Computer Science
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Adian
  (Aktuell noch keine Bewertungen)
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

Adapting Proofs-As-Programs
189,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6

Handbook of Logic and Proof Techniques for Computer Science
58,50 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Steven G. Krantz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel

Logic-Based Program Synthesis and Transformation
43,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9¿10, 2024, Proceedings
2024
7. September 2024
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-71293-7

Adapting Proofs-as-Programs
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON