More Details for: Computer science logic : 12th Internatio

 Staff view

You must be logged in to Tag Records

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).

Book Cover
Names: Gottlob, G. | Grandjean, E. | Seyr, Katrin.
Published: Berlin ; Springer, c1999.
Series: Lecture notes in computer science, 1584
Topics: Computer logic - Congresses.
Tags: Add


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


Meeting Name: Workshop on Computer Science Logic (12th : 1998 : Brno, Czech Republic)
Physical Description: x, 429 p. ; 24 cm.
Includes: Includes bibliographical references and index.
ISBN: 3540659226 (softcover : alk. paper)
Series: Lecture notes in computer science, 1584 0302-9743 ;
Other Names: Gottlob, G. (Georg)
Grandjean, E. (Etienne)
Seyr, Katrin.
Loading SummaryLoading

More Details for: Computer science logic : 12th Internatio