Teorii͡a︡ vychislimosti i i͡a︡zyki spet͡s︡ifikat͡s︡iĭ
Subtitle: sbornik nauchnykh trudov
By: nauchnye redaktory, I͡U︡.L. Ershov, S.S. Goncharov.
Contributors: Ershov, I͡U︡riĭ Leonidovich.; Goncharov, S. S.
Series: Vychislitelʹnye sistemy,; 139
Publisher: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki
Published: 1991
Place of publication: Novosibirsk
Language: rus
Number of pages: 192
Subjects: Logic programming (Computer science)
Notes: Includes bibliographical references.