Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Computational Logic
Book Subtitle: Symposium Proceedings, Brussels, November 13/14, 1990
Editors: John W. Lloyd
Series Title: ESPRIT Basic Research Series
DOI: https://doi.org/10.1007/978-3-642-76274-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: ECSC — EEC — EAEC, Brussels — Luxembourg 1990
Softcover ISBN: 978-3-642-76276-5Published: 13 December 2011
eBook ISBN: 978-3-642-76274-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XI, 211
Topics: Artificial Intelligence, Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Models and Principles, Mathematical Logic and Foundations