المؤلفون: Duzi, Marie, Číhalová, Martina

المصدر: Duzi, Marie and Číhalová, Martina (2024) Knowing who occupies an office; purely contingent, necessary and impossible offices. [Preprint]

وصف الملف: text

Relation: https://philsci-archive.pitt.edu/23271/

المؤلفون: Číhalová, Martina¹ (AUTHOR), Hubálek, Tomáš¹ (AUTHOR) tomas.hubalek@upol.cz, Cieslarová, Zuzana¹ (AUTHOR)

المصدر: European Journal of Education. Dec2024, p1. 9p. 1 Illustration.

مصطلحات موضوعية: *CODING theory, *TEACHERS, *GROUNDED theory, *THEORY (Philosophy), *CONTENT analysis

المؤلفون: Číhalová, Martina

Thesis Advisors: Bednařík, Karel, Kizlink, Juraj

مصطلحات موضوعية: put-out chemicals, Nebezpečné chemikálie, Dangerous chemicals, nebezpečné odpady, diazotace, diazotization, dangerous wastes, vyřazené chemikálie

الاتاحة: http://www.nusl.cz/ntk/nusl-216780

المؤلفون: Číhalová, Martina, Duží, Marie

المساهمون: VŠB-Technical University of Ostrava, Czech Republic, ‘Application of Formal Methods in Knowledge Modelling and Software Engineering IV’, University of Oxford project ‘New Horizons for Science and Religion in Central and Eastern Europe’

المصدر: Logic Journal of the IGPL ; volume 31, issue 1, page 140-171 ; ISSN 1367-0751 1368-9894

مصطلحات موضوعية: Logic

الاتاحة: http://dx.doi.org/10.1093/jigpal/jzab034
https://academic.oup.com/jigpal/article-pdf/31/1/140/49301548/jzab034.pdf

المؤلفون: Duží,Marie, Číhalová,Martina

المصدر: Computación y Sistemas v.19 n.4 2015

مصطلحات موضوعية: Question, answer, presupposition, entailment, wide-scope vs. narrow-scope negation, Transparent Intensional Logic, TIL

وصف الملف: text/html

الاتاحة: http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462015000400647

المؤلفون: Číhalová, Martina, Duží, Marie

المصدر: Logic Journal of the IGPL; Feb2023, Vol. 31 Issue 1, p140-171, 32p

مصطلحات موضوعية: TELECOMMUNICATION systems, MULTIAGENT systems, DYNAMIC models, INTELLIGENT agents, NATURAL languages, SEMANTICS

المؤلفون: ČÍHALOVÁ, MARTINA, RYBAŘÍKOVÁ, ZUZANA

المصدر: Semiotic Studies / Studia Semiotyczne; 2023, Vol. 37 Issue 1, p9-23, 15p

مصطلحات موضوعية: DESCRIPTION (Rhetoric), LOGIC, OFFICES, ONTOLOGY

People: TICHY, Pavel

المؤلفون: Číhalová, Martina

المصدر: Organon F; Nov2022, Vol. 29 Issue 4, p434-452, 19p

المؤلفون: Číhalová, Martina, Rybaříková, Zuzana

المصدر: Organon F; Feb2023, Vol. 30 Issue 1, p2-4, 3p

المؤلفون: Kožusznik, Jan, Štolfa, Svatopluk, Duží, Marie, Košinár, Michal, Číhalová, Martina

المصدر: Communications in Computer and Information Science ; Evaluation of Novel Approaches to Software Engineering ; page 178-192 ; ISSN 1865-0929 1865-0937 ; ISBN 9783642233906 9783642233913

الاتاحة: http://dx.doi.org/10.1007/978-3-642-23391-3_13
http://link.springer.com/content/pdf/10.1007/978-3-642-23391-3_13

المؤلفون: Duží, Marie, Menšík, Marek, Číhalová, Martina, Dostálová, Ludmila

المصدر: Communications in Computer and Information Science ; Digital Enterprise and Information Systems ; page 560-568 ; ISSN 1865-0929 1865-0937 ; ISBN 9783642226021 9783642226038

الاتاحة: http://dx.doi.org/10.1007/978-3-642-22603-8_49
http://link.springer.com/content/pdf/10.1007/978-3-642-22603-8_49

المؤلفون: Duží, Marie, Číhalová, Martina

مصطلحات موضوعية: question, answer, presupposition, entailment, wide-scope vs. narrow-scope negation, Transparent Intensional Logic, TIL, phil, socio

Relation: http://hdl.handle.net/10084/120923

الاتاحة: http://hdl.handle.net/10084/120923

المؤلفون: Číhalová, Martina

المساهمون: Duží, Marie, Zouhar, Marián, Pokorný, Jaroslav, Štěpán, Jan

وصف الملف: 127 l. : il.; 1414039 bytes; application/pdf

Relation: OSD002; http://hdl.handle.net/10084/95071; 201201036; ÚK/Studovna; S2724; CIH053_FEI_P1807_1801V001_2011

الاتاحة: http://hdl.handle.net/10084/95071

المؤلفون: Menšík, Marek¹, Číhalová, Martina²

المصدر: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM. 2015, Vol. 4, p155-166. 12p.

مصطلحات موضوعية: *MULTIAGENT systems, *DECISION making, *PRESUPPOSITION (Logic), *COMMUNICATION, *IMPLICATION (Logic)

Additional Titles: 3D Vizualization of PL1 Models

المؤلفون: Číhalová, Martina, Matějičný, Vladimír

مصطلحات الفهرس: PL1, predikátová logika prvního řádu, Tarskis World, sémantika, formule, interpretační struktura, proměnná, predikát, konstanta, funkční symbol, universum diskursu, individuum, pravdivost v interpretaci, valuace, model formule, průvodce interpretací, generátor formulí, first-order logic, semantics, formula, interpretation structure, variable, predicate, constant, function symbol, universum, entity, validity, formula model, interpretation advisor, formula generator, Bakalářská práce

URL: http://hdl.handle.net/10084/78744

Additional Titles: The Tool for Learning of PL1 Semantics

المؤلفون: Číhalová, Martina, Brodzák, Jan

مصطلحات الفهرس: test, Predikátová logika PL 1, tvorba příkladů, creating examples, First-order logic, Bakalářská práce

URL: http://hdl.handle.net/10084/75605

المؤلفون: Číhalová, Martina

المساهمون: Kizlink, Juraj, Bednařík, Karel

مصطلحات موضوعية: Nebezpečné chemikálie, vyřazené chemikálie, diazotace, nebezpečné odpady, Dangerous chemicals, put-out chemicals, diazotization, dangerous wastes

وصف الملف: application/pdf; text/html

Relation: ČÍHALOVÁ, M. Přepracování některých nebezpečných chemických látek a odpadů [online]. Brno: Vysoké učení technické v Brně. Fakulta chemická. 2011.; 16486; http://hdl.handle.net/11012/11644

الاتاحة: http://hdl.handle.net/11012/11644

المؤلفون: Číhalová, Martina

المساهمون: Friedl, Zdeněk, Bednařík, Karel

مصطلحات موضوعية: TNT, biotransformace, biodegradace, biotransformation, biodegradation

وصف الملف: application/pdf; text/html

Relation: ČÍHALOVÁ, M. Biotransformace aromatických nitrolátek [online]. Brno: Vysoké učení technické v Brně. Fakulta chemická. 2008.; 224; http://hdl.handle.net/11012/10733

الاتاحة: http://hdl.handle.net/11012/10733

المؤلفون: Číhalová, Martina¹

المصدر: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM. 2014, p823-830. 8p.

مصطلحات موضوعية: *REASON, *THEORY of knowledge, *COMMON sense, *COGNITION, *BELIEF & doubt

المؤلفون: Číhalová, Martina

المساهمون: Kizlink, Juraj, Bednařík, Karel

المصدر: ČÍHALOVÁ, M. Přepracování některých nebezpečných chemických látek a odpadů [online]. Brno: Vysoké učení technické v Brně. Fakulta chemická. 2011.

مصطلحات موضوعية: Nebezpečné chemikálie, vyřazené chemikálie, diazotace, nebezpečné odpady, Dangerous chemicals, put-out chemicals, diazotization, dangerous wastes

وصف الملف: text/html

Relation: http://hdl.handle.net/11012/11644

الاتاحة: http://hdl.handle.net/11012/11644