Model-based transformations for quantified boolean formulas /

Autor:: Bubeck, Uwe.
Hasło dodatkowe:: Akademische Verlagsgesellschaft.
Hasło dodatkowe:: IOS Press.
Odpowiedzialność:: Uwe Bubeck.
Miejsce:: Heidelberg :
Wydany przez :: IOS Press ; | AKA,
w roku:: cop. 2010.
Opis fizyczny:: XII, 211 s. : il. ; 21 cm.
Seria:: (DISKI Dissertationen zur Künstlichen Intelligenz ISSN 0941-5769 329)
(DISKI, 0941-5769 ; 329)
Uwagi:: Bibliogr. s. 193-202. Indeks.
ISBN:: 978-1-60750-545-7 (IOS Press)
UKD:: 510.6=111

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
T T.15747 krótkoterminowe	T.15747	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15747	krótkoterminowe		21/03/2014	Zamów