Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 / edited by John W. Lloyd.

This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an overview and a glimpse...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Lloyd, John W.
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Series:ESPRIT basic research series.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: Q334-342
Q334-342 Available