Katalog Vědecké knihovny v Olomouci -- Journal on satisfiability, Boolean modeling and computation electronic resource : JSAT.

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

Navigace: https://aleph.vkol.cz/pub / svk07 / 00001xxxx / 0000104xx / 000010457.htm

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

Návěští	-----nas--2200385-a-4500
Formát	ER
Logická báze	LICENSED
Kontrol.číslo	sfxjib1000000000222821
Kód kontrol.č.	CZ-OlVK
Datum posled.zprac.	20160422024843.1
KÚ-charakt.dokum.	m-----o--d--------
KÚ-fyz.popis	cr-\|\|\|\|\|\|\|\|\|\|\|
KÚ-obecné inf.	060614c20059999ne-uu-p-o-----0----0eng-c
Identif.č. LC	2009253007
ISSN	1574-0617 1574-0617
*Syst. číslo	(OCoLC)70106638
*Syst. číslo	(SFX)1000000000222821
Zdroj katalogizace	SFX-JIB cze OLA001
*Kód ověření	pcc
*Signatura LC	QA75.5
Zkrácený název	J. SATISF. BOOLEAN MODEL. COMPUT
Zkrácený název	JOURNAL ON SATISFIABILITY, BOOLEAN MODELING & COMPUTATION
Názvové údaje	Journal on satisfiability, Boolean modeling and computation electronic resource : JSAT.
Varianta názvu	JSAT
Nakladatel.údaje	Delft : Technische Universiteit Delft
Údaje fyz.popisu	1 online resource
Číslování	Vychází od v. 1 (2005).
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.k suppl.	Has special issues.
588	Description based on: Vol. 1 (2005); title from contents page (publisher's Web site, viewed Dec. 11, 2009).
588	Latest issue consulted: Vol. 7 (2009) (viewed Dec. 11, 2009).
Předm.-Věc.téma	Algebra, Boolean Periodicals.
Předm.-Věc.téma	Computer science Periodicals.
Předm.-Věc.téma	Mathematical Sciences Applied Mathematics
Předm.-Věc.téma	Algebra, Boolean. fast (OCoLC)fst00804924
Předm.-Věc.téma	Computer science. fast (OCoLC)fst00872451
Žánr/forma	Periodicals. fast (OCoLC)fst01411641
VZ-Korporace	Technische Universiteit Delft.
**Lokace	VKOL
Elektron.přístup	http://sfx.jib.cz/sfxlcl3??url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000222821&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&
Poskytovatel přístupu	111061245432001 111061245432000 DOAJ Directory of Open Access Journals - Not for CDI Discovery:Full Text 1000000000490588
Poskytovatel přístupu	111061245432001 111061245432000 DOAJ Directory of Open Access Journals - Not for CDI Discovery:Full Text 1000000000490588
Katalogizátor	20210604 SVK07 0635
336	text txt rdacontent
337	computer c rdamedia
338	online resource cr rdacarrier
LCU	20210528113132
SRC	CONSER