Báze znalostí pro shlukovou analýzu v systému BMDP
HAVRÁNEK, Tomáš. <em>Báze znalostí pro shlukovou analýzu v systému BMDP</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-284.
Algebraic Foundations of Uncertainty Processing in Rule-Based Expert Systems
HÁJEK, Petr, VALDÉS, J. J. <em>Algebraic Foundations of Uncertainty Processing in Rule-Based Expert Systems</em>. Praha: Matematický ústav ČSAV, 1987. Preprint, 28.
Programový systém pro zpracování obrazů GIP. Verze RT
HRYCEJ, David. <em>Programový systém pro zpracování obrazů GIP. Verze RT</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-227.
Úvod do využívání systému BMDP'85
HAVRÁNEK, Tomáš. <em>Úvod do využívání systému BMDP'85</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-225.
Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech
NEDOMA, Jiří. <em>Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-220.
Metody znalostního inženýrství
KOUBA, Zdeněk. <em>Metody znalostního inženýrství</em>. Prague, 1986. Dizertační práce. SVT ČSAV.
Metody pro řešení vědeckých úloh počítači. Zpráva pro závěrečné oponentní řízení hlavního úkolu III-9-1 státního plánu základního výzkumu
ŠEBESTA, Václav. <em>Metody pro řešení vědeckých úloh počítači. Zpráva pro závěrečné oponentní řízení hlavního úkolu III-9-1 státního plánu základního výzkumu</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-215.
Fundamental Problems in Statistical Mechanics VI. : Recenze
ANDREJ, Ladislav. Fundamental Problems in Statistical Mechanics VI. : Recenze. <em>Československý časopis pro fyziku. </em> 1986, 36A(-), 200b.
Generátor GEPAS v operačním systému OS
OGANESJAN, Gurgen. <em>Generátor GEPAS v operačním systému OS</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-251.