Hans Kleine Büning – författare
Visar alla böcker från författaren Hans Kleine Büning.
9 produkter
Prolog
Grundlagen und Anwendungen
Av Hans Kleine Büning, Stefan Schmitgen
Häftad, 1986
659 kr
Lägg i varukorg
CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1988
729 kr
Lägg i varukorg
CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1989
709 kr
Lägg i varukorg
CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1990
729 kr
Lägg i varukorg
Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1991
709 kr
Lägg i varukorg
Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1992
709 kr
Lägg i varukorg
Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1993
709 kr
Lägg i varukorg
Theory and Applications of Satisfiability Testing – SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Av Hans Kleine Büning, Xishun Zhao
Häftad, 2008
709 kr
Lägg i varukorg