Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Finna-recension
Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Sparad:
Fysisk beskrivning |
40 sivua |
---|---|
Språk |
ryska |
Originalverkets språk |
ryska |
Förlag |
Moskva :
Izd. "Nauka",
1965.
Изд. "Наука" |
Mer information | N. A. Šanin, G. V. Davydov, S. Û. Maslov ... [ja muita] |