Zarys dedukcyjnych metod automatycznego wnioskowaniaAndrzej Szałas
Zarys dedukcyjnych metod automatycznego wnioskowania
10 bibliotek1 wydanie · 1993
O książce
- Autor
- Andrzej Szałas
- Lata wydań
- 1993
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 10 bibliotekach: Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa), AGH-WEAIiIB - Biblioteka (Kraków), Biblioteka Narodowa (Warszawa), AGH-Biblioteka Główna (Kraków), Biblioteka Główna (Gdańsk), Biblioteka im. Kazimierza Twardowskiego (Warszawa), Biblioteka na Koszykowej (Warszawa), Biblioteka Uniwersytecka w Warszawie (Warszawa), Książnica Pomorska (Szczecin), Ubytki