pealkiri
Paljuparameetriliste süsteemide uurimise struktuurmeetodite väljatöötamine : lepingulise teadusliku töö nr
OX-8154 aruanne
märksõnad
matemaatiline loogika
predikaatarvutus
kirjeldus
Rööptiitelleht ja osa teksti vene keeles.
Lk. 40-49 tekst loetamatu originaali halva kvaliteedi tõttu.
väljaandja
Tallinna Polütehniline Instituut
ilmumisaasta
keel
  • Juurdepääsu piirang: TalTechi arvutivõrgu kasutajale.