Modellierung Autor Uwe Kastens et al. 18 iun 2021 Hardback Preț: 191.13 lei 238.92 lei 17-23 zile | 6-12 zile -20%
Theory and Applications of Satisfiability Testing - SAT 2008 Editat de Hans Kleine Büning et al. 25 apr 2008 Paperback Preț: 323.39 lei 404.23 lei 43-57 zile -20%
Computer Science Logic Editat de Egon Börger et al. 11 sep 1991 Paperback Preț: 382.93 lei 43-57 zile
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen Leitfäden und Monographien der Informatik Cu Hans Kleine Büning et al. 1994 Paperback Preț: 477.62 lei 43-57 zile
Computer Science Logic Editat de Egon Börger et al. 10 sep 1992 Paperback Preț: 329.35 lei 411.69 lei 43-57 zile -20%
Computer Science Logic Editat de Egon Börger et al. 11 aug 1993 Paperback Preț: 330.15 lei 412.69 lei 43-57 zile -20%
Prolog: Grundlagen und Anwendungen XLeitfäden der angewandten Informatik Cu Hans Kleine Büning et al. 1988 Paperback Preț: 440.70 lei 43-57 zile
CSL '87 Editat de Egon Börger et al. 14 sep 1988 Paperback Preț: 325.03 lei 406.29 lei 43-57 zile -20%
CSL '89 Editat de Egon Börger et al. 10 iul 1990 Paperback Preț: 329.94 lei 412.42 lei 43-57 zile -20%
Prolog: Grundlagen und Anwendungen XLeitfäden der angewandten Informatik Autor Hans Kleine Büning et al. sep 1986 Paperback Preț: 344.64 lei 43-57 zile