Aplikace resoluční metody pro dokazování správnosti programů

Autor Svatoň, Jaromír
Vydáno 1984

Tábor /

Autor Brátka, Petr, 1951-2019, Drda, Miloš, 1946-, Jankovec, Otakar, 1923-2013, Kořalka, Jiří, 1931-2015, Krajíc, Rudolf, 1954-, Richter, Miroslav, 1932-2011, Svatoň, Jaromír, Šmahel, František, 1934-2025, Tecl, Rudolf, 1950-2005, Vybíral, Zdeněk, 1971-, Zita, Stanislav, 1960-2013
Vydáno 1999