Programming Languages: Implementations, Logics, and Programs
Subtitle: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings
By: edited by Hugh Glaser, Pieter Hartel, Herbert Kuchen
Series: Lecture Notes in Computer Science -- 1292,; Lecture notes in computer science -- 1292,
Publisher: Springer-Verlag
Published: 1997
Place of publication: Berlin; Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540695370
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)