Hoppa till sidans huvudinnehåll

Hans Kleine Büning - Böcker

Visar alla böcker från författaren Hans Kleine Büning.
9 produkter

Modellierung

AvUwe Kastens,Hans Kleine Büning

Inbunden, Tyska, 2021

489 kr

Skickas inom 3-6 vardagar

Prolog

Grundlagen und Anwendungen

AvHans Kleine Büning,Stefan Schmitgen

Häftad, Tyska, 1986

639 kr

Skickas inom 10-15 vardagar

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

AvEgon Börger,Hans Kleine Büning,Michael M. Richter

Häftad, Engelska, 1988

709 kr

Skickas inom 10-15 vardagar

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

AvEgon Börger,Hans Kleine Büning,Michael M. Richter

Häftad, Engelska, 1989

689 kr

Skickas inom 10-15 vardagar

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

AvEgon Börger,Hans Kleine Büning,Michael M. Richter

Häftad, Engelska, 1990

709 kr

Skickas inom 10-15 vardagar

Computer Science Logic

4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

AvEgon Börger,Hans Kleine Büning,Michael M. Richter,Wolfgang Schönfeld

Häftad, Engelska, 1991

689 kr

Skickas inom 10-15 vardagar

Computer Science Logic

5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

AvEgon Börger,Gerhard Jäger,Hans Kleine Büning,Michael M. Richter

Häftad, Engelska, 1992

689 kr

Skickas inom 10-15 vardagar

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

AvEgon Börger,Gerhard Jäger,Hans Kleine Büning,Simone Martini,Michael M. Richter

Häftad, Engelska, 1993

689 kr

Skickas inom 10-15 vardagar

Theory and Applications of Satisfiability Testing – SAT 2008

11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

AvHans Kleine Büning,Xishun Zhao

Häftad, Engelska, 2008

689 kr

Skickas inom 10-15 vardagar