Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
6 249
umělá inteligence
2 537
počítače
2 095
algoritmizace
2 064
softwarové inženýrství
1 875
vyhledávání v datech
1 073
programování
1 038
více ...
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
Unesco journal of information science, librarianship and archives administration
Vydáno: 1979
Časopis