Location & Availability for: Computer science logic : 13th internatio

 Staff view

You must be logged in to Tag Records

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /

Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).

Book Cover
Names: Flum, Jörg. | Rodríguez Artalejo, M.
Published: Berlin ; Springer, c1999.
Series: Lecture notes in computer science ; 1683
Topics: Computer logic - Congresses.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Computer science logic : 13th internatio