Katalog Vědecké knihovny v Olomouci -- Non-classical Modal and Predicate Logics 2011 : volume of abstracts : Guangzhou, 5-9 December 2011 / Petr Cintula, Shier Ju, and Martin Víta editors ; [organized by Institute of Logic and Cognition, Sun Yat-sen University, Institute of Computer Science, Academy of Sciences of the Czech Republic] -- OLA001 2-021.686

Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 001042102

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.

ISBN	978-80-87465-00-4 (brož.)
Kód předm.kateg.	51 Matematika
MDT	510.643
MDT	510.635
MDT	(062.534)
MDT	(048.3)
HZ-Jméno akce	Non-classical Modal and Predicate Logics 2011 (Kanton, Čína)
Názvové údaje	Non-classical Modal and Predicate Logics 2011 : volume of abstracts : Guangzhou, 5-9 December 2011 / Petr Cintula, Shier Ju, and Martin Víta editors ; [organized by Institute of Logic and Cognition, Sun Yat-sen University, Institute of Computer Science, Academy of Sciences of the Czech Republic]
Varianta názvu	NCMPL 2011
Nakladatel.údaje	Prague : F solutions, 2011
Údaje fyz.popisu	145 s. ; 29 cm
Pozn.o bibliogr.	Obsahuje bibliografické odkazy
Předm.-Věc.téma	modální logika
Předm.-Věc.téma	predikátová logika
Předm.-angl.	modal logic
Předm.-angl.	predicate calculus
Žánr/forma	sborníky konferencí
Žánr/forma	abstrakta
Žánr/forma	proceedings of conferences
Žánr/forma	abstracts
VZ-Osobní jm.	Cintula, Petr, 1978-
VZ-Osobní jm.	Ju, Shier
VZ-Osobní jm.	Víta, Martin, 1980-
VZ-Korporace	Zhongshan da xue (Kanton, Čína)
VZ-Korporace	Ústav informatiky (Akademie věd ČR)
ISBN-pom.údaje	[1st ed.] 20120315
Sigla,sign.vlastn.	OLA001 2-021.686
Počet exemplářů	1