Next: Teooria (theory)
Up: No Title
Previous: Süllogismi moodused (modus of
- osaliselt interpreteeritud modaalloogika, milles modaalseid operaatoreid tõlgendatakse kui
Kasutatakse programmide ajaliste omaduste verifitseerimiseks.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996