Author of the publication

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic.

, , , , and . HAIS (2), volume 6077 of Lecture Notes in Computer Science, page 328-334. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Noninvasive estimation of pressure difference of left and right ventricle based on young - Laplace model., , , , , , , and . ICIA, page 938-941. IEEE, (2016)Music emotion understanding by computer based on BP neural network., , and . CISP-BMEI, page 1-5. IEEE, (2017)Sliding mode control to stabilization of cascaded heat PDE-ODE systems subject to boundary control matched disturbance., , , and . Autom., (2015)Design of Intelligent Monitoring System for Air Visibility Data Based on UAV., and . ADHIP (1), volume 347 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 170-181. Springer, (2020)Signal detection with noisy reference for passive sensing., , , and . Signal Process., (2015)Role of Manufacturing Sector in the Forthcoming National Industrial Transformations., , , , and . Int. J. Sociotechnology Knowl. Dev., 13 (2): 153-167 (2021)UDS-SLAM: real-time robust visual SLAM based on semantic segmentation in dynamic scenes., , , and . Ind. Robot, 51 (2): 206-218 (2024)Efficient Detection in Aerial Images for Resource-Limited Satellites., , , and . IEEE Geosci. Remote. Sens. Lett., (2022)Hyperspectral Image Classification via Spatial Shuffle-Based Convolutional Neural Network., , and . Remote. Sens., 15 (16): 3960 (August 2023)A Sea Ice Concentration Estimation Methodology Utilizing ICESat-2 Photon-Counting Laser Altimeter in the Arctic., , , , and . Remote. Sens., 14 (5): 1130 (2022)