Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
Autor Hans Jürgen Ohlbach et al.
14 sep 2017
Paperback
Preț: 239.34 lei 299.17 lei
43-57 zile
-20%
Cărți de Hans Jürgen Ohlbach
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
Editat de Hans Jürgen Ohlbach et al.
16 oct 2012
Paperback
Preț: 396.62 lei
43-57 zile
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
Editat de Dov M. Gabbay et al.
21 mai 1996
Paperback
Preț: 667.57 lei 834.46 lei
43-57 zile
-20%