Rasiowa-Sikorski deduction system in computer science applications

Tytuł pełny:: Rasiowa-Sikorski deduction system in computer science applications / Beata Konikowska ; Instytut Podstaw Informatyki Polskiej Akademii Nauk
Tytuł:: Rasiowa-Sikorski deduction system in computer science applications
Wariant tytułu:: Systemy dedukcyjne Rasiowa-Sikorski w zastosowaniach do logik informatycznych
Autorzy:: Konikowska, Beata
Współtwórcy:: Polska Akademia Nauk. Instytut Podstaw Informatyki.
Wydawca:: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk
Rok wydania:: 2000
Opis fizyczny:: 30 s. ; 30 cm
Tytuł innego wydania:: Prace IPI PAN ; 916 ; 0138-0648
Uwagi:: ZOB.: PRACE IPI PAN NR 916 (w module Wydawnictwo ciągłe)
Bibliogr. s. 29
Streszcz. ang., pol
Temat:: Logika matematyczna
Logika modalna
Logika temporalna
: Książka

LDR			01496cam#a2200313#i#4500
001			0032703880419
003			KAT ŚL
005			20220805191950.6
008			011210s2000####pl###########\|000#0#eng##
035			%a (OCoLC)830998810
035			%a b14703592
040			%a WA N %c WA N %e PNN %d KAT ŚL
041	0	#	%a eng %b eng %b pol
100	1		%a Konikowska, Beata. %e
245	1	0	%a Rasiowa-Sikorski deduction system in computer science applications / %c Beata Konikowska ; Instytut Podstaw Informatyki Polskiej Akademii Nauk.
246	3	1	%a Systemy dedukcyjne Rasiowa-Sikorski w zastosowaniach do logik informatycznych
260	#		%a Warszawa : %b Instytut Podstaw Informatyki Polskiej Akademii Nauk, %c 2000.
300			%a 30 s. ; %c 30 cm.
500			%a ZOB.: PRACE IPI PAN NR 916 (w module Wydawnictwo ciągłe).
504			%a Bibliogr. s. 29.
546			%a Streszcz. ang., pol.
650		9	%a Logika matematyczna
650		9	%a Logika modalna
650		9	%a Logika temporalna
710	2	#	%a Polska Akademia Nauk. %b Instytut Podstaw Informatyki. %e
787	0	#	%t Prace IPI PAN %g 916 %x 0138-0648 %w (KAT ŚL)0032102288027
856	4	#	%u https://integro.bs.katowice.pl/site/recorddetail/0032703880419 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
856	4	#	%u http://opacwww.bs.katowice.pl/cgi-bin/wspd_cgi.sh/WService=wsbroker1/wo_ropis.p?IDRek=0032102288027

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Informacja

Nie znaleziono dokumentów