02361nam2 2200481 i 450 VAN0012344120240806100813.540N978331965235120190920d2017 |0itac50 baengCH|||| |||||ˆVol. 1: ‰Introduction to Relation AlgebrasSteven GivantChamSpringer2017xxxii, 572 p.ill.24 cm001VAN001238072001 Relation AlgebrasSteven Givant210 ChamSpringer2017215 voll. ill.24 cm1VAN00235670Relation Algebras. 1, Introduction to Relation Algebras249390103B20Subsystems of classical logic (including intuitionistic logic) [MSC 2020]VANC033870MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MF03C05Equational classes, universal algebra in model theory [MSC 2020]VANC022423MF03G15Cylindric and polyadic algebras; relation algebras [MSC 2020]VANC024503MFAlfred Tarski relation algebrasKW:KArithmetic of relation algebrasKW:KConstructing new relation algebrasKW:KElementary theory of binary relationsKW:KEquational language of relation algebrasKW:KHomomorphismsKW:KRelation algebrasKW:KRelativizations of relation algebrasKW:KSpecial elements in relation algebrasKW:KSteven Givant relation algebrasKW:KSubalgebras of relation algebrasKW:KCHChamVANL001889GivantSteven R.VANV04015459680Springer <editore>VANV108073650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-319-65235-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00123441BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0730 08eMF730 20190920 Relation Algebras. 1, Introduction to Relation Algebras2493901UNICAMPANIA04893nam 22006615 450 991101177930332120250625125942.0978981961741810.1007/978-981-96-1741-8(CKB)39449924900041(MiAaPQ)EBC32176071(Au-PeEL)EBL32176071(OCoLC)1525622331(DE-He213)978-981-96-1741-8(EXLCZ)993944992490004120250625d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierInformation Systems for Intelligent Systems Proceedings of ISBM 2024, Volume 3 /edited by Andres Iglesias, Jungpil Shin, Bharat Patel, Amit Joshi1st ed. 2025.Singapore :Springer Nature Singapore :Imprint: Springer,2025.1 online resource (819 pages)Lecture Notes in Networks and Systems,2367-3389 ;12539789819617401 Mathematical Modeling and Performance Optimization of Power Generating Unit of Large-Scale Sewage Treatment Plants -- Improving the Prediction Model of Food Consumption Behavior Analytics of Diabetic Patients in Northern Thailand Using Data Mining Techniques -- Interpretation of Liquid Milk Samples Quality through Ensemble Learning -- Design of Low Power Compressors Using Full Adder -- Cardiovascular Disease Risk Prediction Using AI-Enabled Ensemble Bagging and Adaboost Supervised Machine Learning Classifiers -- A Bibliometric Analysis on Green Recruitment and Selection (GRS) -- The Impact of Human Capital Investment on Employee Retention Intention in the Private Banks of Yangon, Myanmar -- Machine Learning based Trust Management Model for Fog2Fog Network -- Two-Factor Authentication System Components Design to Support Academic Information Systems -- Aspect Based Sentiment Analysis of Nepali Text using BERT based Model -- The Potential Development of Tourism Services and Tourism Communication Models in a Northern National Park for Carbon-Neutral Tourism Support Using Data Mining Analytics -- An Efficient Authentication Supporting Network Slicing Protocol for 5G-IoT-Based -- Survey On Transfer Learning for Enhanced Diabetic Retinopathy Detection -- Factors Affecting User's Trust on Social Network Sites Regarding Personalized Advertising Based on Social Media Privacy Theory -- Harnessing Social Media Analytics for Modern Business Intelligence: A Comprehensive Analysis -- Engineering Business Solutions: Advancing SME Competitiveness through IIoT-Driven Coopetition -- Clearing Faces in Blurred Surveillance Images: Evaluating the Effectiveness of Deliberate Blur Simulation for Face Detection -- Usability Evaluation of Video Conferencing Tools in Education -- Natural Language Processing for Insider Threat Email Detection Optimized by Modified Metaheuristics -- Revolutionising Healthcare: Unleashing the Potential of Artificial Intelligence for Beyond-Conventional Advancements -- Integrating Explainable AI with Deep Neural Networks to Improve Employee Attrition Prediction -- Predicting Financial Restatements of Listed Companies in Vietnam Using Data Mining Techniques -- Improved Automated Irrigation System Using MicroPython -- Traffic Management using Intelligent Transportation System based on Vehicular Ad hoc Networks.This book includes selected papers presented at World Conference on Information Systems for Business Management (ISBM 2024), held in Bangkok, Thailand, during September 12–13, 2024. It covers up-to-date cutting-edge research on data science, information systems, infrastructure and computational systems, engineering systems, business information systems, and smart secure systems.Lecture Notes in Networks and Systems,2367-3389 ;1253Computational intelligenceArtificial intelligenceEngineeringData processingBusiness information servicesComputational IntelligenceArtificial IntelligenceData EngineeringIT in BusinessComputational intelligence.Artificial intelligence.EngineeringData processing.Business information services.Computational Intelligence.Artificial Intelligence.Data Engineering.IT in Business.006.3Iglesias Andres722645Shin Jungpil1830349Patel Bharat1830350Joshi Amit1265590MiAaPQMiAaPQMiAaPQBOOK9911011779303321Information Systems for Intelligent Systems4400630UNINA