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

Enzyklopädie Philosophie und Wissenschaftstheorie.

Autoři: Mittelstraß, Jürgen

Zdroj: Enzyklopädie Philosophie und Wissenschaftstheorie; 2008, p1-620, 620p

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

Human Language Technologies As a Challenge for Computer Science and Linguistics – 2023

Autoři: Zygmunt Vetulani Patrick Paroubek

Resource Type: eBook.

Témata: Language and languages, Natural language processing (Computer science), Computational linguistics

Categories: COMPUTERS / General

Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

Autoři: Balder D. ten Cate Henk W. Zeevat

Resource Type: eBook.

Témata: Logic, Artificial intelligence, Machine theory, Natural language processing (Computer science)

Categories: PHILOSOPHY / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Speech & Audio Processing

Fuzzy Logic and Mathematics : A Historical Perspective

Autoři: Radim Belohlavek Joseph W. Dauben George J. Klir

Resource Type: eBook.

Témata: Fuzzy logic, Logic, Symbolic and mathematical

Categories: PHILOSOPHY / Logic, MATHEMATICS / History & Philosophy

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

Enzyklopädie Philosophie und Wissenschaftstheorie : Bd. 3: G–Inn

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

Enzyklopädie Philosophie und Wissenschaftstheorie : Bd. 5: Log–N

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

Spatial Cognition XII

Autoři: Jurǵis Šķilters Nora S. Newcombe David Uttal

Resource Type: eBook.

Témata: Artificial intelligence, Computer networks, Image processing—Digital techniques, Computer vision, Computer engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Leo Esakia on Duality in Modal and Intuitionistic Logics

Autoři: Guram Bezhanishvili

Resource Type: eBook.

Témata: Modality (Logic), Duality (Logic), Intuitionistic mathematics

Categories: PHILOSOPHY / Logic, COMPUTERS / Computer Science, LANGUAGE ARTS & DISCIPLINES / Linguistics / 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

Handbook of Modal Logic

Autoři: Patrick Blackburn Johan F.A.K. van Benthem Frank Wolter

Resource Type: eBook.

Témata: Modality (Logic)--Handbooks, manuals, etc

Categories: MATHEMATICS / General, SCIENCE / Physics / Mathematical & Computational

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

Algorithmic Randomness and Complexity

Autoři: Rodney G. Downey Denis R. Hirschfeldt

Resource Type: eBook.

Témata: Computational complexity, Computable functions

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science

Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago De Compostela, Spain, June 22-26, 2009, Proceedings, Part I

Autoři: Jose Mira José M. Ferrández Jose-Ramon Alvarez Sanchez a další

Resource Type: eBook.

Témata: Brain--Computer simulation--Congresses, Artificial intelligence--Congresses, Computational neuroscience--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Programming / Algorithms, SCIENCE / Life Sciences / Biology, SCIENCE / Research & Methodology

Research Perspectives on Software Engineering and Systems Design

Autoři: Radek Silhavy Petr Silhavy

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Analysis of Images, Social Networks and Texts

Autoři: Alexander Panchenko Dmitry Gubanov Michael Khachay a další

Resource Type: eBook.

Témata: Image analysis--Congresses

Categories: COMPUTERS / Data Science / Data Analytics

Engineering Mathematics and Artificial Intelligence : Foundations, Methods, and Applications

Autoři: Herb Kunze Davide La Torre Adam Riccoboni a další

Resource Type: eBook.

Témata: Engineering mathematics, Artificial intelligence

Categories: COMPUTERS / Data Science / Machine Learning, MATHEMATICS / Game Theory, MATHEMATICS / Mathematical Analysis, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / Operations Research

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