Limits of AI - theoretical, practical, ethical Technik im Fokus Autor Klaus Mainzer et al. apr 2024 Paperback Preț: 124.26 lei 155.33 lei 3-5 săpt. -20%
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Lecture Notes in Computer Science, nr. 15551 Editat de José Proença et al. 12 aug 2025 Paperback Preț: 488.72 lei 610.90 lei 38-44 zile -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ț: 461.96 lei 6-8 săpt.
Proof Theory in Computer Science Editat de Reinhard Kahle et al. 28 sep 2001 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Gentzen's Centenary Editat de Reinhard Kahle et al. 9 noi 2015 Paperback Preț: 926.05 lei 1129.34 lei 6-8 săpt. -18%
The Legacy of Kurt Schütte Editat de Reinhard Kahle et al. 12 aug 2021 Paperback Preț: 706.81 lei 861.97 lei 6-8 săpt. -18%
Axiomatic Thinking I Editat de Fernando Ferreira et al. 15 oct 2023 Paperback Preț: 555.62 lei 653.67 lei 6-8 săpt. -15%
Axiomatic Thinking II Editat de Fernando Ferreira et al. 19 sep 2023 Paperback Preț: 619.69 lei 729.05 lei 6-8 săpt. -15%
Advances in Proof Theory Progress in Computer Science and Applied Logic, nr. 28 Editat de Reinhard Kahle et al. 12 mai 2016 Hardback Preț: 626.11 lei 736.60 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ț: 124.12 lei 155.14 lei 3-5 săpt. -20%