Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Zarys dedukcyjnych metod automatycznego wnioskowania

Tytuł :
Zarys dedukcyjnych metod automatycznego wnioskowania
Autorzy :
Szałas, Andrzej (1956- )
Temat :
Automatyczne dowodzenie twierdzeń
Rok wydania :
1993
Wydawca :
Warszawa : Akademicka Oficyna Wydawnicza RM
ISBN :
8390045176
Opis fizyczny :
121 s. ; 21 cm
Uwagi :
Bibliogr. - Indeks
Książka
 Informacja

Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!

Dokumenty przeznaczone do wypożyczenia

Nr Inwentarza :
000 65575
Sygnatura :
M M 65575

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz