SWS Academic Research eLibraryEarth & Planetary Sciences

Browse

Search Results

Now showing 1 - 1 of 1

Author publications

doc. RNDr. Ludek Cienciala

1 linked publication records

Author: doc. RNDr. Ludek Ciencialaclear all

Showing 1-1 of 1 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

Showing 1-1 of 1 records