Papers on many-sorted logic as a tool for modelling
By: Zsuzsanna Márkusz.
Series: Studies,; 192/1986 =; Tanulmányok ;; 192/1986; Tanulmányok (Magyar Tudományos Akadémia. Számítástechnikai és Automatizálási Kutatóintézet) ;; 1986/192.
Publisher: Computer and Automation Institute, Hungarian Academy of Sciences
Published: 1986
Place of publication: [Budapest]
Language: eng
Number of pages: 68