Author(s): Clark, Keith L, Taernlund S.-A. (eds.)
Series: Automatic Programming Information Centre (Brighton). Studies in data processing no. 16
Edition: 4. print
Publisher: Academic Press
Year: 1982
Language: English
Pages: 366
City: London
Tags: Mathematische Logik.;Programmierung.