Modellierung
Autor Uwe Kastens et al.
17 iun 2021
Hardback
Preț: 176.59 lei 220.74 lei
17-23 zile | 7-13 zile
-20%
Cărți de Hans Kleine Büning
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Editat de Hans Kleine Büning et al.
25 apr 2008
Paperback
Preț: 321.95 lei 402.44 lei
6-8 săpt.
-20%
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen
Cu Hans Kleine Büning et al.
1994
Paperback
Preț: 477.91 lei
6-8 săpt.
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Editat de Egon Börger et al.
11 aug 1993
Paperback
Preț: 327.69 lei 409.62 lei
6-8 săpt.
-20%
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Editat de Egon Börger et al.
10 sep 1992
Paperback
Preț: 326.89 lei 408.61 lei
6-8 săpt.
-20%
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Editat de Egon Börger et al.
11 sep 1991
Paperback
Preț: 380.25 lei
6-8 săpt.
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Editat de Egon Börger et al.
10 iul 1990
Paperback
Preț: 327.20 lei 409.00 lei
6-8 săpt.
-20%
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Editat de Egon Börger et al.
6 sep 1989
Paperback
Preț: 325.45 lei 406.81 lei
6-8 săpt.
-20%
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Editat de Egon Börger et al.
14 sep 1988
Paperback
Preț: 322.75 lei 403.44 lei
6-8 săpt.
-20%
Prolog: Grundlagen und Anwendungen
Cu Hans Kleine Büning et al.
1988
Paperback
Preț: 440.96 lei
6-8 săpt.
Prolog: Grundlagen und Anwendungen
Autor Hans Kleine Büning et al.
sep 1986
Paperback
Preț: 344.77 lei
6-8 săpt.