Vyjavlenie logičeskich mechanizmov deduktivnogo vyvoda, realizuemych operacijami jazyka SCL

Bibliographische Detailangaben

1. Verfasser:	Korolev, Vitalij Gennadʹevič (VerfasserIn)
Format:	UnknownFormat
Sprache:	rus
Veröffentlicht:	Minsk 1995
Schriftenreihe:	Preprint / Akademija Nauk Belarusi, Institut Techničeskoj Kibernetiki 1995,14
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!