Výsledky vyhľadávania - matematika logic—logic and constraint programming general terms~

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

Predmety: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Korporácia: ASSOCIATION for Symbolic Logic

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

Autori: Sergei Artemov Anil Nerode

Typ zdroja: eBook.

Predmet: Mathematical logic

Kategórie: MATHEMATICS / Logic

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

Autori: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Typ zdroja: eBook.

Predmet: Computer science—Mathematics, Artificial intelligence, Algorithms, Computer networks, Artificial intelligence—Data processing, Computer science

Kategórie: 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

Autori: Alessandro Antonucci Laurence Cholvy Odile Papini

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer science, Machine theory, Computer networks, Computer science—Mathematics, Software engineering

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

Automated Technology for Verification and Analysis

Autori: Meenakshi D´Souza Raghavan Komondoor B. Srivathsan

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General

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

Autori: Jürgen Mittelstraß

Typ zdroja: eBook.

Predmet: Science—Philosophy, Logic, Knowledge, Theory of, Language and languages—Philosophy, Philosophy

Kategórie: SCIENCE / Philosophy & Social Aspects, PHILOSOPHY / General, PHILOSOPHY / Epistemology, PHILOSOPHY / Logic, PHILOSOPHY / Language

System Analysis in Engineering and Control

Autori: Yuriy S. Vasiliev Nataliya D. Pankratova Violetta N. Volkova a ďalší

Typ zdroja: eBook.

Predmet: Control engineering, Robotics, Automation, Cooperating objects (Computer systems)

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Electronics / General

International Encyclopedia of Education

Typ zdroja: eBook.

Predmet: Education--Encyclopedias, Education

Kategórie: EDUCATION / General, EDUCATION / Philosophy, Theory & Social Aspects

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

Autori: Samsul Ariffin Abdul Karim

Typ zdroja: eBook.

Predmet: Computational intelligence, Education—Data processing, Technical education

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

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

Autori: Louise McNally Zoltán Gendler Szabó

Typ zdroja: eBook.

Predmet: Semantics

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Linguistics / Syntax, PHILOSOPHY / Logic

Women in the History of Analytic Philosophy

Autori: Jeanne Peijnenburg Sander Verhaegh

Typ zdroja: eBook.

Predmet: Analysis (Philosophy)--History--Congresses, Women philosophers--History--Congresses

Kategórie: PHILOSOPHY / History & Surveys / General, PHILOSOPHY / Movements / Analytic, HISTORY / Women

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Autori: Marie-Jeanne Lesot Susana Vieira Marek Z. Reformat a ďalší

Typ zdroja: eBook.

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

Kategórie: 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

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

Autori: Vadim Ermolayev Frédéric Mallet Vitaliy Yakovyna a ďalší

Typ zdroja: eBook.

Predmet: Education—Data processing, Computer networks, Software engineering, Artificial intelligence, Computer engineering, Computer science—Mathematics

Kategórie: 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

Autori: Vladimir Golenkov Victor Krasnoproshin Vladimir Golovko a ďalší

Typ zdroja: eBook.

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

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

Diagrammatic Representation and Inference

Autori: Ahti-Veikko Pietarinen Peter Chapman Leonie Bosveld-de Smet a ďalší

Typ zdroja: eBook.

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

Kategórie: 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

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

Autori: Rudolf Berghammer Ali Jaoua Bernhard Möller

Typ zdroja: eBook.

Predmet: Kleene algebra--Congresses, Relation algebras--Congresses, Algebraic logic--Congresses, Computer science--Mathematics--Congresses

Kategórie: COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, MATHEMATICS / Algebra / Abstract, MATHEMATICS / Discrete Mathematics

Encyclopedia of Library and Information Sciences

Autori: John D. McDonald Michael Levine-Clark

Typ zdroja: eBook.

Predmet: Information science--Encyclopedias, Library science--Encyclopedias

Kategórie: COMPUTERS / Information Technology, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

Theory Of Knowledge: Structures And Processes

Autori: Mark Burgin

Typ zdroja: eBook.

Predmet: Knowledge, Theory of

Kategórie: BUSINESS & ECONOMICS / Knowledge Capital, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Data Science / General

Petr Hájek on Mathematical Fuzzy Logic

Autori: Franco Montagna

Typ zdroja: eBook.

Predmet: Fuzzy logic, Fuzzy mathematics

Kategórie: MATHEMATICS / Logic, PHILOSOPHY / Logic

Leo Esakia on Duality in Modal and Intuitionistic Logics

Autori: Guram Bezhanishvili

Typ zdroja: eBook.

Predmet: Modality (Logic), Duality (Logic), Intuitionistic mathematics

Kategórie: PHILOSOPHY / Logic, COMPUTERS / Computer Science, LANGUAGE ARTS & DISCIPLINES / Linguistics / General