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:

Automatyczne dowodzenie twierdzeń

Tytuł:
Automatyczne dowodzenie twierdzeń
Autorzy:
Pawlak, Zdzisław (1926- )
Temat:
Matematyka
Rok wydania:
1965
Wydawca:
Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
Seria:
Biblioteczka Matematyczna ; 19
Opis fizyczny:
146, [2] s. : wykr., tab. ; 21 cm
Książka
propozycja biblioteki
LDR 00849cam|a2200229#i#4500
001 0831900173831
003 BPPUL 002
005 20230508115735.0
008 081118s1965#######||||g#|||||000#||####|
040 %a BPPUL %c BPPUL %e PNN %d BPPUL
080 %a 51
100 1 %a Pawlak, Zdzisław %d (1926- ).
245 1 0 %a Automatyczne dowodzenie twierdzeń / %c Zdzisław Pawlak.
260 %a Warszawa : %b Państwowe Zakłady Wydawnictw Szkolnych, %c 1965.
300 %a 146, [2] s. : %b wykr., tab. ; %c 21 cm.
490 1 %a Biblioteczka Matematyczna ; %v 19
650 9 %a Matematyka
830 0 %a Biblioteczka Matematyczna %v 19
856 4 0 %u https://integro.bpciechanow.edu.pl/site/recorddetail/0831900173831 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
980 %a 51 %y Matematyka
981 1 %a 51
999 %b DK (18/11/2008) %d DK (18/11/2008) %c DK (18/11/2008 ; 040, 300) %r 1965

Lokalizacja:

Położenie:

Agenda:

Dokumenty przeznaczone do wypożyczenia

Nr inwentarza:
KSPUL 9810
Sygnatura:
WPUL 51 Pułtusk
Status:
Dostępna
Stan fizyczny:
stan dobry
Obsługiwane agendy:
Wyświetl listę
Dostępny

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