Location & Availability for: Computer science logic : 14th Internatio

 Staff view

You must be logged in to Tag Records

Computer science logic : 14th International Workshop, CSL 2000, 9th Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings /

Peter Clote, Helmut Schwichtenberg (eds.).

Book Cover
Names: Clote, Peter. | Schwichtenberg, Helmut,
Published: Berlin ; Springer, 2000.
Series: Lecture notes in computer science ; 1862.
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 : 14th Internatio