Ergebnisse zu
Logik

Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
von Andrzej Indrzejczak
Buch | Hardcover
2020 | Auflage: 1 | Springer International Publishing
ISBN: 9783030571443
69,54 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-20 Tagen
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
von Laura Kovács; Karl Meinke
Buch | Softcover
2022 | Auflage: 1 | Springer International Publishing
ISBN: 9783031098260
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Essay on Machines in General (1786)
Text, Translations and Commentaries. Lazare Carnot's Mechanics - Volume 1
von Raffaele Pisano; Jennifer Coopersmith; Murray Peake
Buch | Softcover
2022 | Auflage: 1 | Springer International Publishing
ISBN: 9783030443870
149,79 € (inkl. MwSt)
in den Warenkorb
  • Versand in 15-20 Tagen