Informacja

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

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaKatalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach
Tytuł pozycji:

Automatyczne dowodzenie twierdzeń

Tytuł pełny:
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak
Autorzy:
Pawlak, Zdzisław (1926-2006)
Współtwórcy:
Państwowe Zakłady Wydawnictw Szkolnych. Wydawca
Wydawca:
Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
Rok wydania:
1965
Seria:
Biblioteczka Matematyczna ; 19
Zawartość serii:
Biblioteczka Matematyczna 0067-7566 19
Opis fizyczny:
147, [ 1 ] stron : ilustracje ; 22 cm
Uwagi:
Bibliografia na stronie 143
Temat:
Automatyczne dowodzenie twierdzeń.
Książka
propozycja biblioteki
LDR 01491cam#a2200325#i#4500
001 0191800747966
003 KAT U, KAT 001
005 20230208091046.4
008 060407s1965####pl#a###f#f###|000#0#pol#c
035 %a zz2006765755
035 %a (NUKAT)vtls000672992
040 %a LUBL KUL/ak %b pol %e rda %c LUBL KUL/ak %d LUBL KUL/MC %d KR 119/jz %d KR 119/aras %d GD 015/JK
100 1 %a Pawlak, Zdzisław %d (1926-2006). %e Autor
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 147, [ 1 ] stron : %b ilustracje ; %c 22 cm.
336 %a Tekst %b txt %2 rdacontent
337 %a Bez urządzenia pośredniczącego %b n %2 rdamedia
338 %a Wolumin %b nc %2 rdacarrier
490 1 %a Biblioteczka Matematyczna ; %v 19
504 %a Bibliografia na stronie 143.
650 # %a Automatyczne dowodzenie twierdzeń.
710 2 # %a Państwowe Zakłady Wydawnictw Szkolnych. %e Wydawca %4 pbl
830 0 %a Biblioteczka Matematyczna %x 0067-7566 %v 19
856 4 # %u https://integro.ciniba.edu.pl/integro/site/recorddetail/0191800747966 %z Rekord w katalogu OPAC biblioteki %9 LinkOPAC
982 %a 517 %c PAWLAK, Z. %d AUTOMATYCZNE %z Analiza matematyczna

Dokumenty przeznaczone do wypożyczenia

Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
517
PAWLAK, Z.
AUTOMATYCZNE
Nr inwentarza:
BG 328994
Wolny dostęp
Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
517
PAWLAK, Z.
AUTOMATYCZNE
Nr inwentarza:
BM 7610
Wolny dostęp

Dokumenty przeznaczone do udostępnienia na miejscu

Położenie:
CINiBA
Lokalizacja:
Dział 5 - Matematyka. Nauki Przyrodnicze - POZIOM 1
Sygnatura:
517
PAWLAK, Z.
AUTOMATYCZNE
Nr inwentarza:
BG 76806
Wolny dostęp

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