Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
2
teorie
2
Automated theorem proving in structured theory specifications : Abstract of doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis
Automated theorem proving in structured theory specifications : Doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis