Výsledky vyhledávání - matematika logic—logic and constraint programming

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Zdroj: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Témata: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Korporace: ASSOCIATION for Symbolic Logic

Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Autoři: Sergei Artemov Anil Nerode

Resource Type: eBook.

Témata: Mathematical logic

Categories: MATHEMATICS / Logic

Mathematical Optimization Theory and Operations Research : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Autoři: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Resource Type: eBook.

Témata: Computer science—Mathematics, Artificial intelligence, Algorithms, Computer networks, Artificial intelligence—Data processing, Computer science

Categories: MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Autoři: Alessandro Antonucci Laurence Cholvy Odile Papini

Resource Type: eBook.

Témata: Artificial intelligence, Computer science, Machine theory, Computer networks, Computer science—Mathematics, Software engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Model-Theoretic Logics

Autoři: J. Barwise S. Feferman

Resource Type: eBook.

Témata: Model theory

Categories: MATHEMATICS / Logic

Automated Technology for Verification and Analysis

Autoři: Meenakshi D´Souza Raghavan Komondoor B. Srivathsan

Resource Type: eBook.

Témata: Automatic theorem proving--Congresses

Categories: COMPUTERS / Software Development & Engineering / General

Enzyklopädie Philosophie und Wissenschaftstheorie : Bd. 7: Re–Te

Autoři: Jürgen Mittelstraß

Resource Type: eBook.

Témata: Science—Philosophy, Logic, Knowledge, Theory of, Language and languages—Philosophy, Philosophy

Categories: SCIENCE / Philosophy & Social Aspects, PHILOSOPHY / General, PHILOSOPHY / Epistemology, PHILOSOPHY / Logic, PHILOSOPHY / Language

Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Autoři: Rudolf Berghammer Ali Jaoua Bernhard Möller

Resource Type: eBook.

Témata: Kleene algebra--Congresses, Relation algebras--Congresses, Algebraic logic--Congresses, Computer science--Mathematics--Congresses

Categories: COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, MATHEMATICS / Algebra / Abstract, MATHEMATICS / Discrete Mathematics

International Encyclopedia of Education

Resource Type: eBook.

Témata: Education--Encyclopedias, Education

Categories: EDUCATION / General, EDUCATION / Philosophy, Theory & Social Aspects

Brain, Decision Making and Mental Health

Autoři: Nima Rezaei

Resource Type: eBook.

Témata: Decision making, Mental health, Neurosciences, Brain

Categories: SCIENCE / Life Sciences / Neuroscience, PHILOSOPHY / Mind & Body, PSYCHOLOGY / Clinical Psychology, SCIENCE / Cognitive Science

A Reader's Guide to Classic Papers in Formal Semantics : Volume 100 of Studies in Linguistics and Philosophy

Autoři: Louise McNally Zoltán Gendler Szabó

Resource Type: eBook.

Témata: Semantics

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Linguistics / Syntax, PHILOSOPHY / Logic

Intelligent Systems Modeling and Simulation II : Machine Learning, Neural Networks, Efficient Numerical Algorithm and Statistical Methods

Autoři: Samsul Ariffin Abdul Karim

Resource Type: eBook.

Témata: Computational intelligence, Education—Data processing, Technical education

Categories: COMPUTERS / Artificial Intelligence / General, EDUCATION / Schools / Levels / Higher, EDUCATION / Computers & Technology, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Engineering (General)

SMART Automatics and Energy : Proceedings of SMART-ICAE 2021

Autoři: Denis B. Solovev Grigorios L. Kyriakopoulos Terziev Venelin

Resource Type: eBook.

Témata: Control engineering, Robotics, Automation, Electric power production, Renewable energy sources, Energy policy, Energy and state

Categories: TECHNOLOGY & ENGINEERING / Electrical, BUSINESS & ECONOMICS / Industries / Energy, TECHNOLOGY & ENGINEERING / Power Resources / Alternative & Renewable, TECHNOLOGY & ENGINEERING / Power Resources / Electrical

System Analysis in Engineering and Control

Autoři: Yuriy S. Vasiliev Nataliya D. Pankratova Violetta N. Volkova a další

Resource Type: eBook.

Témata: Control engineering, Robotics, Automation, Cooperating objects (Computer systems)

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Electronics / General

Women in the History of Analytic Philosophy

Autoři: Jeanne Peijnenburg Sander Verhaegh

Resource Type: eBook.

Témata: Analysis (Philosophy)--History--Congresses, Women philosophers--History--Congresses

Categories: PHILOSOPHY / History & Surveys / General, PHILOSOPHY / Movements / Analytic, HISTORY / Women

Mathematical Problems From Applied Logic I : Logics for the XXIst Century

Autoři: Dov M. Gabbay Michael Zakharyaschev

Resource Type: eBook.

Témata: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Applied, PHILOSOPHY / Logic

Information and Communication Technologies in Education, Research, and Industrial Applications

Autoři: Vadim Ermolayev Frédéric Mallet Vitaliy Yakovyna a další

Resource Type: eBook.

Témata: Education—Data processing, Computer networks, Software engineering, Artificial intelligence, Computer engineering, Computer science—Mathematics

Categories: EDUCATION / Computers & Technology, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Open Semantic Technologies for Intelligent System

Autoři: Vladimir Golenkov Victor Krasnoproshin Vladimir Golovko a další

Resource Type: eBook.

Témata: Artificial intelligence, Computer science, Application software, Information technology—Management, User interfaces (Computer systems), Human-computer interaction

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Autoři: Marie-Jeanne Lesot Susana Vieira Marek Z. Reformat a další

Resource Type: eBook.

Témata: Artificial intelligence, Computer science—Mathematics, Machine theory, Application software, Computer engineering, Computer networks, Image processing—Digital techniques, Computer vision

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Diagrammatic Representation and Inference

Autoři: Ahti-Veikko Pietarinen Peter Chapman Leonie Bosveld-de Smet a další

Resource Type: eBook.

Témata: User interfaces (Computer systems), Human-computer interaction, Artificial intelligence, Image processing—Digital techniques, Computer vision, Software engineering, Machine theory

Categories: COMPUTERS / Human-Computer Interaction (HCI), COMPUTERS / Artificial Intelligence / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Software Development & Engineering / General, COMPUTERS / User Interfaces