- Tytuł:
- On logical and semantic investigations in Kyiv School of Automated Reasoning
- Autorzy:
- Lâlec'kij, Oleksandr Vadimovič (1947- )
- Współwytwórcy:
- Nìkìtčenko, Mikola Stepanovič (1951- )
- Data publikacji:
- 2014
- Tematy:
-
Dowód matematyczny
Matematyka - komputeryzacja
Automatyczne dowodzenie twierdzeń - Pokaż więcej
- Dostawca treści:
- Academica
Inne