title
Paljuparameetriliste süsteemide uurimise struktuurmeetodite väljatöötamine : lepingulise teadusliku töö nr
OX-8154 aruanne
keywords
matemaatiline loogika
predikaatarvutus
description
Rööptiitelleht ja osa teksti vene keeles.
Lk. 40-49 tekst loetamatu originaali halva kvaliteedi tõttu.
publisher
Tallinna Polütehniline Instituut
publishing year
language