Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Finna-arvio
Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Tallennettuna:
| Ulkoasu |
40 sivua |
|---|---|
| Kieli |
venäjä |
| Alkuteoksen kieli |
venäjä |
| Julkaisija |
Moskva :
Izd. "Nauka",
1965.
Изд. "Наука" |
| Lisätiedot | N. A. Šanin, G. V. Davydov, S. Û. Maslov ... [ja muita] |