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