REAL-EOD

Papers on many-sorted logic as a tool for modelling

Márkusz, Zsuzsanna (1986) Papers on many-sorted logic as a tool for modelling. Tanulmányok (MTA SZTAKI) (192). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-221-4

[img]
Preview
Text (Papers on many-sorted logic as a tool for modelling)
SZTAKITanulmanyok_192.pdf

Download (3MB) | Preview
Item Type: Book
Additional Information: ISSN: 0324-2951
Subjects: Q Science / természettudomány > QA Mathematics / matematika
Depositing User: xPéter xKolozsi
Date Deposited: 01 Sep 2015 14:25
Last Modified: 01 Sep 2015 14:25
URI: http://real-eod.mtak.hu/id/eprint/2150

Actions (login required)

Edit Item Edit Item