MPG.eBooks - Author Search Results

Cover Image

1

Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

by Kleine Büning, Hans
Published 1996

Springer

Cover Image

2

Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

3

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

by Börger, Egon
Published 1992

Springer

Other Authors: “...Kleine Büning, Hans...”

Cover Image

4

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

Published 1990

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

5

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

Published 1988

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

6

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

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

7

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

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

8

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

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”

Cover Image

9

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

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Kleine Büning, Hans...”