Cover Image

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

Bibliographic Details
Corporate Author: CSL '98 Brno, Czech Republic
Other Authors: Gottlob, G. (Georg), Grandjean, E. (Etienne), Seyr, Katrin
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Lecture notes in computer science. 1584.
Subjects:
Computer logic > Congresses.
Description
Physical Description:x, 429 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540659226 (softcover : alk. paper)
ISSN:0302-9743 ;