Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Autor Hans Jürgen Ohlbach et al. 14 sep 2017 Paperback Preț: 235.29 lei 294.12 lei 6-8 săpt. -20%
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay Trends in Logic, nr. 5 Editat de Hans Jürgen Ohlbach et al. 16 oct 2012 Paperback Preț: 389.98 lei 6-8 săpt.
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. Lecture Notes in Computer Science, nr. 1085 Editat de Dov M. Gabbay et al. 21 mai 1996 Paperback Preț: 656.31 lei 820.40 lei 6-8 săpt. -20%