Location & Availability for: Computer science logic : 9th internation

 Staff view

You must be logged in to Tag Records

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

Book Cover
Names: Kleine Büning, H.
Published: Berlin ; Springer, ©1996.
Series: Lecture notes in computer science ; 1092.
Topics: Computer logic - Congresses.
Genres: Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Computer science logic : 9th internation