@book {IOPORT.00048608,
    author       = {Lloyd, John W.},
    title        = {Computational logic. Symposium, Brussels, 13-14 November 1990. Proceedings.},
    year         = {1990},
    isbn         = {3-540-53437-7},
    pages        = {XI, 211 p.},
    publisher    = {Berlin etc.: Springer-Verlag},
    abstract     = {[The articles of this volume will not be reviewed individually.] Based on the papers given during the meeting of Symposium on Computational Logic held in Brussels on the occasion of the 7th ESPRIT Conference Week in November 1990, this book presents a number of overviews and tutorials as well as specialized research on current trends in computational logic, with special emphasis on the work of COMPULOG. The field of computational logic is nowadays quite broad and rapidly growing. This book gives a glimpse into the likely future of computational logic. The ten papers in this symposium are contributed by ten leading researchers in computational logic. The papers of a panel session on the topic ``Programming in 2010: The role of computational logic'' are also included in the book. The book may be read with profit by any researcher who has an interest in computational logic in general or related topics in computer science in particular.},
    reviewer     = {Song Fangmin},
    identifier   = {00048608},
}