Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /

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

Bibliographic Details

Main Author:	Lloyd, John W.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Series:	ESPRIT basic research series.
Subjects:	Computer science. Logic design. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book