Automatyczne dowodzenie twierdzeń

Tytuł pełny:: Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak
Autorzy:: Biela, Andrzej
Wojtylak, Marek (informatyk)
Współtwórcy:: Uniwersytet Śląski (Katowice). Wydawnictwo. Wydawca
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1993
Seria:: Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 484
Zawartość serii:: Skrypty Uniwersytetu Śląskiego 0239-6432 nr 484
Opis fizyczny:: 215, [1] s. ; 24 cm
Uwagi:: Bibliogr. s. 207-211. Indeks
Temat:: Automatyczne dowodzenie twierdzeń.
: Książka

LDR			01763cam#a2200349#i#4500
001			0191901698245
003			KAT U, KAT 001
005			20241029065122.5
008			050721s1993####pl###########\|001#0#pol#c
035			%a zz2005989950
035			%a (NUKAT)vtls000525116
035			%a (OCoLC)750048490
040			%a WR U/jlk %c WR U/jlk %d WR U/dl %d WR U/JHs %d KAT U/TK %d Ł U/AG %d KIEL 010/BK
100	1		%a Biela, Andrzej.
245	1	0	%a Automatyczne dowodzenie twierdzeń / %c Andrzej Biela, Marek Wojtylak.
260	#		%a Katowice : %b Uniwersytet Śląski, %c 1993.
300			%a 215, [1] s. ; %c 24 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 Skrypty Uniwersytetu Śląskiego, %x 0239-6432 ; %v nr 484
500			%a Bibliogr. s. 207-211. Indeks.
650		#	%a Automatyczne dowodzenie twierdzeń.
700	1	#	%a Wojtylak, Marek %c (informatyk).
710	2	#	%a Uniwersytet Śląski (Katowice). %b Wydawnictwo. %4 pbl
830		0	%a Skrypty Uniwersytetu Śląskiego %x 0239-6432 %v nr 484
856	4	9	%u http://www.bc.us.edu.pl/publication/5221 %z Pełny tekst publikacji dostępny tylko z komputerów sieci bibliotek UŚ. %9 Link lokalny
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0191901698245 %z Rekord w katalogu OPAC biblioteki %9 LinkOPAC
982			%a 510.6 %c BIELA, A. %d AUTOMATYCZNE %z Logika matematyczna

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Wolny dostęp

Wolny dostęp