H. Kleine Buning

Identifiers

Open LibraryOL2681393A

Top Subjects

Logic Design (1)
Machine Theory (1)
Congresses (1)
Computer Science (1)
Computers (1)
Computer Books: General (1)
Logic, Symbolic and mathematical (1)

Books by H. Kleine Buning

Total count: 3

Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science)

Springer1990-07-01
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science)

Springer1992-10-01
Computer Science Logic6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science)

Springer1993-08-01