Informacja

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

Tytuł pozycji:

Formalized Mathematics : a computer assisted approach

LDR 01872cas#a2200469#i#4500
001 0422100166686
003 RZESZ 010
005 20190411201321.8
008 990917c19969999pl#qr#p######|0####0eng##
015 %a BWC 1997/59
022 %a 1426-2630 %y 0777-4028
035 %a (OCoLC)839171978
035 %a b13544147
040 %a WA N %c WA N %e PNN %d RZESZ 010
080 %a 51
080 %a (05)
091 %b Czasopismo
222 0 %a Formalized Mathematics %b (Białystok)
245 0 0 %a Formalized Mathematics : %b a computer assisted approach / %c Warsaw University Białystok Branch ; ed. by Roman Matuszewski.
260 # %a Warsaw ; %a Białystok : %b WUBB, %c 1996-.
300 %c 25 cm.
310 %a Kwartalnik.
362 0 %a Vol. 5, nr 1. (1996)-.
380 %a Czasopisma
500 %a Od vol. 6, nr. 4 (1997): Białystok : UwB.
515 %a Vol. 1-4 w latach 1990-1993 wydawane w Belgii.
550 %a Od vol. 6, nr. 4 (1997): University of Białystok.
650 9 %a Matematyka
655 9 %a Czasopismo matematyczne
655 9 %a Czasopismo polskie
658 %a Matematyka
700 1 # %a Matuszewski, Roman. %e Redakcja
710 2 # %a Filia Uniwersytetu Warszawskiego (Białystok).
710 2 # %a Uniwersytet w Białymstoku.
856 4 # %u https://biblioteka.wsiz.rzeszow.pl/integro/site/recorddetail/0422100166686 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
856 4 # %u http://mizar.uwb.edu.pl/fm/ %y Online
856 4 # %u https://content.sciendo.com/view/journals/forma/forma-overview.xml %y Open access
960 %a Białystok %b University of Białystok %c 2004
980 %a 51 %y Matematyka
980 %a (05) %y Wydawnictwa periodyczne. Czasopisma
981 1 %a 51(05)

 Informacja

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

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