SWS Academic Research eLibraryEarth & Planetary Sciences

Browse

Search Results

Now showing 1 - 3 of 3

Author publications

Marek Mensik

3 linked publication records

Author: Marek MensikSubject: Informaticsclear all

Showing 1-3 of 3 records

SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 17th International Multidisciplinary Scientific GeoConference SGEM2017, Informatics, Geoinformatics and Remote Sensing

Publication

EXISTENTIAL GENERALIZATION IN TIL

(STEF92 Technology, 2017-06-20, Mgr. Marek Mensik, Bc. Jakub Kermaschek, doc. RNDr. Ludek Cienciala)

Informatics2017

DOIExistential Generalization TIL logic deduction extension intension+1 keywords

SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 17th International Multidisciplinary Scientific GeoConference SGEM2017, Informatics, Geoinformatics and Remote Sensing

Publication

MEMBRANE AGENTS SIMULATING BOOLEAN CIRCUITS

(STEF92 Technology, 2017-06-20, Lucie Ciencialova, Ludek Cienciala, Marek Mensik)

Informatics2017

DOIP systems P colonies logic Boolean circuits

SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 17th International Multidisciplinary Scientific GeoConference SGEM2017, Informatics, Geoinformatics and Remote Sensing

Publication

STUDENTS- BEHAVIOR PATTERNS IN LMS ELOGIKA DETECTED BY FCA

(STEF92 Technology, 2017-06-20, Mgr. Marek Mensik, Mgr. Pavla Drazdilova)

Informatics2017

DOIE-learning logic log files FCA behavior pattern

Showing 1-3 of 3 records