Suchergebnisse für ""Zhe Hou""




Ähnliche Artikel


Automated Reasoning with Analytic Tableaux and Related Methods
30,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18¿21, 2023, Proceedings
1st ed. 2023
14. September 2023
Springer / Springer Nature Switzerland / Springer, Berlin / TABLEAUX Community
978-3-031-43512-6

Guide to Discrete Mathematics
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gerard O'Regan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
Softcover reprint of the original 1st ed. 2016
22. April 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-83080-3

Guide to Discrete Mathematics
48,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gerard O'Regan
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
2. Aufl.
29. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-81587-5

Guide to Discrete Mathematics
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gerard O'Regan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
2. Aufl.
29. Oktober 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-81590-5

Programming-Based Formal Languages and Automata Theory
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Marco T. Morazán
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Design, Implement, Validate, and Prove
1st edition 2024
19. Dezember 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-43972-8

Automated Reasoning
30,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part I
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63497-0

Automated Reasoning
55,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part II
2024
2. Juli 2024
IJCAR Community / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-63500-7

A Proof Theory for Description Logics
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Alexandre Rademaker
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2012
18. Mai 2012
Springer / Springer London / Springer, Berlin
86019853,978-1-4471-4001-6

Logical Methods
30,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Roger Antonsen
  (Aktuell noch keine Bewertungen)
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



Ähnlichkeitssuche: Fact®Finder von OMIKRON