Papers on many-sorted logic as a tool for modelling (Tanulmanyok)

by Zsuzsanna Markusz

details (USA).

ISBN: 978-963-311-221-2

ISBN-10: 963-311-221-4

Computer and Automation Institute, Hungarian Academy of Sciences · 1986