著者典拠情報

著者標目形：
Kleine Büning, Hans, 1948-
属性：
Personal
日付：
1948-
から見よ参照形：
Kleine Büning, H.
Büning, H. Kleine (Hans Kleine)
注記：
Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany) CSL '87, c1988: CIP t.p. (H. Kleine Büning) verso t.p. (Fachbereich 11, Praktische Informatik, Univ. Duisburg) galley (Hans Kleine Büning)
Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany). CSL '89, 1990: t.p. (H. Kleine Büning) data sheet (b. 6-14-48)
著者典拠ID：
DA02672156


1.

図書
図書
1. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: 図書館
2.

図書
図書
2. Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: 図書館
3.

図書
図書
3. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: 図書館
4.

図書
図書
4. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: 図書館
5.

図書
図書
5. CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 329
所蔵情報: 図書館