- Tytuł:
- Zarys dedukcyjnych metod automatycznego wnioskowania
- Autorzy:
- Szałas, Andrzej
- Wydawca:
- Warszawa : Akademicka Oficyna Wydawnicza RM, ([Warsz : IPI PAN])
- Rok wydania:
- 1993
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.