Automatické dokazování vět lineární rezolucí

Autor Řačák, Antonín
Vydáno 1981

Formální manipulace s algebraickými výrazy na počítači

Autor Velčovský, Josef
Vydáno 1982

Aplikace rezolučního principu v deduktivních systémech

Autor Kaláček, Petr
Vydáno 1983

Aplikace resoluční metody pro analýzu programů

Autor Koleňáková, Taťjana
Vydáno 1984