Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Logic at Botik '89
nidottu,
1989,
englanti,
ISBN 9783540512370
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR …