Logicheskie metody v programmirovanii
Subtitle: sbornik nauchnykh trudov
By: nauchnye redaktory I͡U︡.L. Ershov, S.S. Goncharov.
Series: Vychislitelʹnye sistemy,; 133
Publisher: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki
Published: 1990
Place of publication: Novosibirsk
Language: rus
Number of pages: 188
Notes: PRIORITY 3.