Instrumentalʹnye sistemy i modelirovanie
Subtitle: sbornik nauchnykh trudov
By: otvetstvennyĭ redaktor O.G. Divakov.
Contributors: Divakov, O. G.
Edition: Nauch. izd.
Publisher: "Nauka," Sibirskoe otd-nie
Published: 1988
Place of publication: Novosibirsk
Language: rus
Number of pages: 182
Subjects: Mathematical models.; Automatic theorem proving.; Application software.
Notes: Includes bibliographical references.
"Pakety prikladnykh programm."
At head of title: Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie. Irkutskiĭ vychislitelʹnyĭ t͡s︡entr.