Overview
Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 199)
Part of the book sub series: Subreihe Künstliche Intelligenz (2252)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
Authors and Affiliations
Bibliographic Information
Book Title: Zur Logik der Logik-Programmierung
Book Subtitle: Ein konstruktiver Ansatz
Authors: Clemens Beckstein
Series Title: Informatik-Fachberichte
DOI: https://doi.org/10.1007/978-3-642-74403-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1988
Softcover ISBN: 978-3-540-50720-8Published: 21 December 1988
eBook ISBN: 978-3-642-74403-7Published: 12 March 2013
Series ISSN: 0343-3005
Edition Number: 1
Number of Pages: IX, 246
Topics: Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Theory of Computation, Artificial Intelligence, Programming Techniques, Mathematical Logic and Foundations