Algebraic methods in logic and in computer science

Tytuł pełny:: Algebraic methods in logic and in computer science / ed. Cecylia Rauszer
Współtwórcy:: Rauszer, Cecylia (1942-1994). Redaktor
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1993
Seria:: Banach Center Publications, 0137-6934 ; vol. 28
Zawartość serii:: Banach Center Publications 0137-6934 28
Opis fizyczny:: 342 s. : il. ; 24 cm
ISBN:: 8385116923
Uwagi:: Bibliogr. przy rozdz
Temat:: Logika algebraiczna.
Informatyka.
Informatyka - konferencje.
Logika algebraiczna - konferencje.
: Książka

LDR			01488cam#a2200373#i#4500
001			0192102505865
003			KAT U, KAT 001
005			20220831231552.3
008			100114s1993####pl#a###f#####\|100#0#eng#c
020			%a 8385116923
035			%a xx001506106
035			%a (NUKAT)vtls001506106
040			%a KAT U/SG %c KAT U/SG %d KR U/mal
245	0	0	%a Algebraic methods in logic and in computer science / %c ed. Cecylia Rauszer.
260	#		%a Warszawa : %b Instytut Matematyczny PAN, %c 1993.
300			%a 342 s. : %b il. ; %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 Banach Center Publications, %x 0137-6934 ; %v vol. 28
504			%a Bibliogr. przy rozdz.
650		#	%a Logika algebraiczna.
650		#	%a Informatyka.
650		#	%a Informatyka %v konferencje.
650		#	%a Logika algebraiczna %v konferencje.
700	1	#	%a Rauszer, Cecylia %d (1942-1994). %e Redaktor
830		0	%a Banach Center Publications %x 0137-6934 %v 28
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192102505865 %9 LinkOPAC
920			%a 83-85116-92-3
982			%a 510.6 %c ALGEBRAIC %d RAUSZER, C. %z Logika matematyczna

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Wolny dostęp