Search Results - 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.

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

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

Company/Entity: ASSOCIATION for Symbolic Logic

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

Authors: Sergei Artemov Anil Nerode

Resource Type: eBook.

Subjects: 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

Authors: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Resource Type: eBook.

Subjects: 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

Authors: Alessandro Antonucci Laurence Cholvy Odile Papini

Resource Type: eBook.

Subjects: 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

Automated Technology for Verification and Analysis

Authors: Meenakshi D´Souza Raghavan Komondoor B. Srivathsan

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses

Categories: COMPUTERS / Software Development & Engineering / General

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

Authors: Jürgen Mittelstraß

Resource Type: eBook.

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

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

System Analysis in Engineering and Control

Authors: Yuriy S. Vasiliev Nataliya D. Pankratova Violetta N. Volkova et al.

Resource Type: eBook.

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

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

International Encyclopedia of Education

Resource Type: eBook.

Subjects: Education--Encyclopedias, Education

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

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

Authors: Samsul Ariffin Abdul Karim

Resource Type: eBook.

Subjects: 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)

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

Authors: Louise McNally Zoltán Gendler Szabó

Resource Type: eBook.

Subjects: Semantics

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

Women in the History of Analytic Philosophy

Authors: Jeanne Peijnenburg Sander Verhaegh

Resource Type: eBook.

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

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Authors: Marie-Jeanne Lesot Susana Vieira Marek Z. Reformat et al.

Resource Type: eBook.

Subjects: 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

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

Authors: Vadim Ermolayev Frédéric Mallet Vitaliy Yakovyna et al.

Resource Type: eBook.

Subjects: 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

Authors: Vladimir Golenkov Victor Krasnoproshin Vladimir Golovko et al.

Resource Type: eBook.

Subjects: 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)

Diagrammatic Representation and Inference

Authors: Ahti-Veikko Pietarinen Peter Chapman Leonie Bosveld-de Smet et al.

Resource Type: eBook.

Subjects: 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

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

Authors: Rudolf Berghammer Ali Jaoua Bernhard Möller

Resource Type: eBook.

Subjects: 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

Encyclopedia of Library and Information Sciences

Authors: John D. McDonald Michael Levine-Clark

Resource Type: eBook.

Subjects: Information science--Encyclopedias, Library science--Encyclopedias

Categories: COMPUTERS / Information Technology, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

Theory Of Knowledge: Structures And Processes

Authors: Mark Burgin

Resource Type: eBook.

Subjects: Knowledge, Theory of

Categories: BUSINESS & ECONOMICS / Knowledge Capital, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Data Science / General

Petr Hájek on Mathematical Fuzzy Logic

Authors: Franco Montagna

Resource Type: eBook.

Subjects: Fuzzy logic, Fuzzy mathematics

Categories: MATHEMATICS / Logic, PHILOSOPHY / Logic

Leo Esakia on Duality in Modal and Intuitionistic Logics

Authors: Guram Bezhanishvili

Resource Type: eBook.

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

Categories: PHILOSOPHY / Logic, COMPUTERS / Computer Science, LANGUAGE ARTS & DISCIPLINES / Linguistics / General