Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Autor Hans Jürgen Ohlbach et al. 14 sep 2017 Paperback Preț: 237.57 lei 296.96 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ț: 393.72 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ț: 662.66 lei 828.32 lei 6-8 săpt. -20%