Implementacja semantycznej metody automatycznego dowodzenia twierdzeńEwa Kaczmarska-Ryger
Implementacja semantycznej metody automatycznego dowodzenia twierdzeń
2 biblioteki1 wydanie · 1977
O książce
- Autor
- Ewa Kaczmarska-Ryger
- Lata wydań
- 1977
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 2 bibliotekach: Biblioteka Narodowa (Warszawa), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk)