Logiko-matematicheskie osnovy problemy MOZ
Subtitle: sbornik nauchnykh trudov
By: nauchnye redaktory I͡U︡.G. Kosarev, S.S. Goncharov.
Contributors: Kosarev, I͡U︡. G.; Goncharov, S. S.; Institut matematiki (Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie)
Series: Vychislitelʹnye sistemy ;; 107
Publisher: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki
Published: 1985
Place of publication: Novosibirsk
Language: rus
Number of pages: 154
Subjects: Machine theory.; Formal languages.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies.