Implementacja semantycznej metody automatycznego dowodzenia twierdzeń

Tytuł pełny:: Implementacja semantycznej metody automatycznego dowodzenia twierdzeń / Ewa Kaczmarska, Lesław Szczerba
Autorzy:: Kaczmarska, Ewa
Szczerba, Lesław (1938-2010)
Współtwórcy:: Wydawnictwa Uniwersytetu Warszawskiego. Wydawca
Wydawca:: Warszawa : Wydawnictwa Uniwersytetu Warszawskiego
Rok wydania:: 1977
Seria:: Sprawozdania Instytutu Informatyki Uniwersytetu Warszawskiego, 0239-4359 ; 60
Zawartość serii:: Sprawozdania Instytutu Informatyki Uniwersytetu Warszawskiego 0239-4359 60
Opis fizyczny:: 24 s. ; 24 cm
Uwagi:: Streszcz. ang
Temat:: Automatyczne dowodzenie twierdzeń.
: Książka

LDR			01617cam#a2200349#i#4500
001			0192202866273
003			KAT U, KAT 001
005			20220810061224.4
008			071027s1977####pl#####f#####\|000#0#pol#c
035			%a zz2007835442
035			%a (NUKAT)vtls000996557
040			%a WA U/94AEM %c WA U/AEM %d WA U/AEM %d WA U/AEM %d Ł U/AG
041	0	#	%a pol %b eng
100	1		%a Kaczmarska, Ewa.
245	1	0	%a Implementacja semantycznej metody automatycznego dowodzenia twierdzeń / %c Ewa Kaczmarska, Lesław Szczerba.
260	#		%a Warszawa : %b Wydawnictwa Uniwersytetu Warszawskiego, %c 1977.
300			%a 24 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 Sprawozdania Instytutu Informatyki Uniwersytetu Warszawskiego, %x 0239-4359 ; %v 60
546			%a Streszcz. ang.
650		#	%a Automatyczne dowodzenie twierdzeń.
700	1	#	%a Szczerba, Lesław %d (1938-2010).
710	2	#	%a Wydawnictwa Uniwersytetu Warszawskiego. %4 pbl
830		0	%a Sprawozdania Instytutu Informatyki Uniwersytetu Warszawskiego %x 0239-4359 %v 60
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192202866273 %z Rekord w katalogu OPAC biblioteki %9 LinkOPAC
982			%a 510.6 %c KACZMARSKA, E. %d IMPLEMENTACJA %z Logika matematyczna

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Dostępny