Limits of AI - theoretical, practical, ethical Technik im Fokus Autor Klaus Mainzer et al. apr 2024 Paperback Preț: 123.22 lei 154.02 lei 3-5 săpt. -20%
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings Lecture Notes in Computer Science, nr. 5771 Editat de Erich Grädel et al. 28 aug 2009 Paperback Preț: 636.86 lei 796.08 lei 6-8 săpt. -20%
Intensionality: Lecture Notes in Logic 22 Editat de Reinhard Kahle sep 2005 Paperback Preț: 429.14 lei 6-8 săpt.
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings Lecture Notes in Computer Science, nr. 2183 Editat de Reinhard Kahle et al. 28 sep 2001 Paperback Preț: 317.85 lei 397.31 lei 6-8 săpt. -20%
Gentzen's Centenary: The Quest for Consistency Editat de Reinhard Kahle et al. 9 noi 2015 Paperback Preț: 920.28 lei 1122.29 lei 6-8 săpt. -18%
Advances in Proof Theory Progress in Computer Science and Applied Logic, nr. 28 Editat de Reinhard Kahle et al. 12 mai 2016 Hardback Preț: 628.56 lei 739.48 lei 6-8 săpt. -15%
Axiomatic Thinking I Editat de Fernando Ferreira et al. 15 oct 2023 Paperback Preț: 557.83 lei 656.27 lei 6-8 săpt. -15%
Grenzen der KI – theoretisch, praktisch, ethisch Technik im Fokus Autor Klaus Mainzer et al. 17 iun 2022 Paperback Preț: 123.03 lei 153.79 lei 3-5 săpt. -20%
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Lecture Notes in Computer Science Editat de José Proença et al. 12 aug 2025 Paperback Preț: 488.57 lei 610.71 lei 39-44 zile -20%
Axiomatic Thinking II Editat de Fernando Ferreira et al. 19 sep 2023 Paperback Preț: 615.97 lei 724.67 lei 6-8 săpt. -15%
The Legacy of Kurt Schütte Editat de Reinhard Kahle et al. 12 aug 2021 Paperback Preț: 708.90 lei 864.51 lei 6-8 săpt. -18%