Teorii͡a︡ vychisleniĭ i i͡a︡zyki spet͡s︡ifikat͡s︡iĭ
Subtitle: sbornik nauchnykh trudov
By: nauchnye redaktory, I͡U︡.L. Ershov, S.S. Goncharov ; [redakt͡s︡ionnai͡a︡ kollegii͡a︡, S.S. Goncharov ... N.G. Zagoruĭko (glavnyĭ redaktor) ... et al.].
Contributors: Ershov, I͡U︡riĭ Leonidovich.; Goncharov, S. S.; Zagoruĭko, Nikolaĭ Grigorʹevich.
Series: Vychislitelʹnye sistemy,; 152
Publisher: Rossiĭskai͡a︡ akademii͡a︡ nauk, Sibirskoe otd-nie, In-t matematiki im. S.L. Soboleva
Published: 1995
Place of publication: Novosibirsk
Language: rus
Number of pages: 219
Subjects: Logic programming (Computer science)
Notes: Includes bibliographical references and index.