Výsledky vyhľadávania - matematika logic and formal languages—logic and constraint programming*

Enzyklopädie Philosophie und Wissenschaftstheorie.

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

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

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

Autori: Zygmunt Vetulani Patrick Paroubek

Typ zdroja: eBook.

Predmet: Language and languages, Natural language processing (Computer science), Computational linguistics

Kategórie: COMPUTERS / General

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

Autori: Balder D. ten Cate Henk W. Zeevat

Typ zdroja: eBook.

Predmet: Logic, Artificial intelligence, Machine theory, Natural language processing (Computer science)

Kategórie: PHILOSOPHY / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Speech & Audio Processing

Fuzzy Logic and Mathematics : A Historical Perspective

Autori: Radim Belohlavek Joseph W. Dauben George J. Klir

Typ zdroja: eBook.

Predmet: Fuzzy logic, Logic, Symbolic and mathematical

Kategórie: PHILOSOPHY / Logic, MATHEMATICS / History & Philosophy

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

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

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

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

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

Spatial Cognition XII

Autori: Jurǵis Šķilters Nora S. Newcombe David Uttal

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer networks, Image processing—Digital techniques, Computer vision, Computer engineering

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

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

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

Handbook of Modal Logic

Autori: Patrick Blackburn Johan F.A.K. van Benthem Frank Wolter

Typ zdroja: eBook.

Predmet: Modality (Logic)--Handbooks, manuals, etc

Kategórie: MATHEMATICS / General, SCIENCE / Physics / Mathematical & Computational

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

Algorithmic Randomness and Complexity

Autori: Rodney G. Downey Denis R. Hirschfeldt

Typ zdroja: eBook.

Predmet: Computational complexity, Computable functions

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

Autori: Jose Mira José M. Ferrández Jose-Ramon Alvarez Sanchez a ďalší

Typ zdroja: eBook.

Predmet: Brain--Computer simulation--Congresses, Artificial intelligence--Congresses, Computational neuroscience--Congresses

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

Autori: Radek Silhavy Petr Silhavy

Typ zdroja: eBook.

Kategórie: COMPUTERS / Artificial Intelligence / General

Analysis of Images, Social Networks and Texts

Autori: Alexander Panchenko Dmitry Gubanov Michael Khachay a ďalší

Typ zdroja: eBook.

Predmet: Image analysis--Congresses

Kategórie: COMPUTERS / Data Science / Data Analytics

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

Autori: Herb Kunze Davide La Torre Adam Riccoboni a ďalší

Typ zdroja: eBook.

Predmet: Engineering mathematics, Artificial intelligence

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

Typ zdroja: eBook.

Predmet: Education--Encyclopedias, Education

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

Brain, Decision Making and Mental Health

Autori: Nima Rezaei

Typ zdroja: eBook.

Predmet: Decision making, Mental health, Neurosciences, Brain

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