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] |