Format:
245 S
,
graph. Darst
ISBN:
3540111603
,
0387111603
Series Statement:
Lecture notes in computer science 125
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Logic of programs Berlin [u.a.] : Springer, 1981 ISBN 9783540386315
Language:
English
Keywords:
Konferenzschrift