Katalog Vědecké knihovny v Olomouci, báze SVK07, záznam 000091973

Navigace: https://aleph.vkol.cz/pub / svk07 / 00009xxxx / 0000919xx / 000091973.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

Návěští-----nas--2200529-i-4500
FormátER
Logická bázeLICENSED
Kontrol.číslosfxjib1000000000306548
Kód kontrol.č.CZ-OlVK
Datum posled.zprac.20210203051912.6
KÚ-charakt.dokum.m-----o--d--------
KÚ-fyz.popiscr-un|||||||||
KÚ-obecné inf.090225c19969999pl-qr-pso-----0---a0eng--
Identif.č. LC2015207495
ISSN1898-9934 1426-2630
*Syst. číslo(OCoLC)310796052
*Syst. číslo(SFX)1000000000306548
Zdroj katalogizaceSFX-JIB cze OLA001
*Kód ověřenípcc
*Signatura LCQA1
Názvové údajeFormalized mathematics electronic resource : a computer assisted approach.
Varianta názvuComputer assisted approach
Souč.periodicita4x ročně
ČíslováníTištěná verze vychází od 1996.
Všeobecná pozn.Plný text je přístupný pouze z počítačů VK Olomouc
Všeobecná pozn.Access is allowed from library network only
Pozn.o neprav.č.Vol. 11, 3 called also: Vol. 11, 3/4 (2003).
Pozn.-pož.na sys.Mode of access: World Wide Web.
588 Description based on print version record.
588 Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27).
Předm.-Věc.témaArithmetic Foundations Periodicals.
Předm.-Věc.témaLogic, Symbolic and mathematical Periodicals.
Předm.-Věc.témaMathematical analysis Foundations Periodicals.
Předm.-Věc.témaMathematics Periodicals.
Předm.-Věc.témaMathematical Sciences Applied Mathematics
Předm.-Věc.témaArithmetic Foundations. fast (OCoLC)fst00814493
Předm.-Věc.témaLogic, Symbolic and mathematical. fast (OCoLC)fst01002068
Předm.-Věc.témaMathematical analysis Foundations. fast (OCoLC)fst01012071
Předm.-Věc.témaMathematics. fast (OCoLC)fst01012163
Žánr/formaElectronic journals.
Žánr/formaPeriodicals. fast (OCoLC)fst01411641
VZ-KorporaceUniwersytet w Białymstoku, issuing body.
*Vydání-jiný nosičFormalized mathematics 1426-2630 (DLC) 2005210714 (OCoLC)61705160
Související jedn.Companion to online title: Journal of formalized mathematics
**LokaceVKOL
Elektron.přístupSFX Knihovny.cz
Poskytovatel přístupu111061245432001 111061245432000 DOAJ Directory of Open Access Journals - Not for CDI Discovery:Full Text 2670000000204514
Poskytovatel přístupu111061245432001 111061245432000 DOAJ Directory of Open Access Journals - Not for CDI Discovery:Full Text 2670000000204514
Katalogizátor20220425 SVK07 0959
264 1[Bialystok, Poland] : University of Białystok
26431<2013->; Warsaw, Poland : De Gruyter Open
336 text txt rdacontent
337 computer c rdamedia
338 online resource cr rdacarrier
LCU 20220422130006
SRC CONSER

Úvodní stránka katalogu. O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.