Heuristické aspekty automatického dokazování vět

To chci

Uloženo v:

Podrobná bibliografie

Hlavní autor
Bohumír Štědroň, 1948-
Typ dokumentu
Knihy
Fyzický popis
62 listy
Vydáno
Praha : b. t., 1977
Vydání
1. vyd.
Popis jednotky
Kand.dis.: Praha

Instituce:

Informace o knihovně

Jednotky

Nápověda
Pro vytváření rezervací/objednávek je třeba se přihlásit.
Dostupnost Stav Oddělení Sbírka Umístění Více informací Poznámka Signatura
11
Načítá se…
Fond NTK
Sklad
II 280865

Podobné