Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Bibliographic Information

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.)

(Lecture notes in computer science, 1092)

Springer, c1996

Available at  / 60 libraries

Search this Book/Journal

Related Books: 1-1 of 1

Details

Page Top