Algebraic and logic programming: J Grabowski, P Lescanne and W Wechler (eds) Springer-Verlag (Lecture Notes in Computer Science Vol 343) (1988) 278 pp DM40.50 softback

Boerger, E., H. Kleine Buening, M. M. Ri

Boerger, E., H. Kleine Buening, M. M. Richter (Eds.): CSL '87.1 st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12–16, 1987, Proceedings (Lecture Notes in Computer Science. Eds.: G. Goos, J. Hartmanis. Vol. 329). Springer-Verlag 1988. VI, 346 pp., DM 45,-; ISBN 3–540–50241–6

✍ Dr. Seese 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 76 KB

The articles contained in this volume were presented to the workshop "Logik in der Informatik" ("Compnter-Science Logic") held in Karlsruhe. from October 12-16, 1987. Historically Computer Science is closely linked with Logic. So was Logic in the 1940's one of the 8ources of development of computers