Výsledky vyhľadávania - "Logic, Symbolic and mathematical"

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Autori: Brigitte Pientka Cesare Tinelli

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

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

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

Autori: Uli Sattler Martin Suda

Typ zdroja: eBook.

Predmet: Computer science--Congresses, Logic, Symbolic and mathematical--Congresses

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

The Logical Writings of Karl Popper

Autori: David Binder Thomas Piecha Peter Schroeder-Heister

Typ zdroja: eBook.

Predmet: Logic, Logic, Symbolic and mathematical

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

Paul Lorenzen -- Mathematician and Logician

Autori: Gerhard Heinzmann Gereon Wolters

Typ zdroja: eBook.

Predmet: Constructivism (Philosophy), Mathematics--Philosophy, Logic, Symbolic and mathematical

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

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Autori: André Platzer Geoff Sutcliffe

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

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

Graph Structures for Knowledge Representation and Reasoning

Autori: Michael Cochez Madalina Croitoru Pierre Marquis a ďalší

Typ zdroja: eBook.

Predmet: Application software, Computer networks, Artificial intelligence, Knowledge representation (Information theory)--Congresses, Data structures (Computer science)--Congresses, Logic, Symbolic and mathematical

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General

Model theory and rough approximate subgroups

Autori: Rodriguez Fanlo, Arturo Hrushovski, Ehud

Prispievatelia: Rodriguez Fanlo, Arturo Hrushovski, Ehud

Predmety: Mathematics, Logic, Symbolic and mathematical, MSC2000, 03C45, 03C68, 11P70

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.860296

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Fading Foundations

Autori: David Atkinson Jeanne Peijnenburg

Typ zdroja: eBook.

Predmet: Physics, Decision making, Regression analysis, Statistics, Logic, Symbolic and mathematical, Knowledge, Theory of, Operations research, Philosophy

Kategórie: PHILOSOPHY / Epistemology, BUSINESS & ECONOMICS / Operations Research, MATHEMATICS / Logic, MATHEMATICS / Probability & Statistics / General, SCIENCE / Physics / General, SCIENCE / Philosophy & Social Aspects

Computational Thinking and Block-Based Programming for Beginning Engineering Students: Systematic Review of the Literature

Autori: Paucar Curasma, Ronald Villalba-Condori, Klinge Orlando Jara Jara, Nolan a ďalší

Zdroj: Repositorio Institucional-Ulima
Universidad de Lima

Predmety: Problem-solving, Estudiantes de ingeniería, Lógica informática, Computer algorithms, Lógica matemática, Logic, Symbolic and mathematical, Algoritmos computacionales, Computer logic, Educación superior, Resolución de problemas, Higher education, Pensamiento crítico, Engineering students, Critical thinking

Popis súboru: application/html

Prístupová URL adresa: https://hdl.handle.net/20.500.12724/19569

Logisch-philosophische Abhandlung: die hundertjahrsausgabe : der Tractatus in Baumform

Autori: Wittgenstein, Ludwig, 1889-1951

Predmety: Logic, Symbolic and mathematical

Tractatus logico-philosophicus

Autori: Wittgenstein, Ludwig Bazzocchi, Luciano Hacker, P. M. S.

Prispievatelia: Wittgenstein, Ludwig Bazzocchi, Luciano Hacker, P. M. S.

Predmety: Logic, Symbolic and mathematical, Language and logic, Language and languages -- Philosophy

שפה מחשבה עולם: מאמרים קלאסיים בפילוסופיה אנליטית
Language, thought, world: classic texts in analytic philosophy

Prispievatelia: אילון, יובל אבינרי, אפרת אונגר, יעל a ďalší

Predmety: Analysis (Philosophy), Skepticism, Thought and thinking, Empiricism, Intentionality (Philosophy), Logic, Symbolic and mathematical

שפה מחשבה עולם: סוגיות בפילוסופיה אנליטית
Language, thought, world: issues in analytic philosophy

Autori: אילון, יובל הורוביץ, אמיר זילצר, אדי a ďalší

Prispievatelia: אילון, יובל הורוביץ, אמיר זילצר, אדי a ďalší

Predmety: Analysis (Philosophy), Skepticism, Thought and thinking, Empiricism, Intentionality (Philosophy), Logic, Symbolic and mathematical, Language and languages -- Philosophy

Reducing the maximum degree of a graph: comparisons of bounds

Autori: Borg, Peter

Zdroj: Theory and Applications of Graphs, Vol 8, Iss 1 (2021)

Predmety: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), maximum degree, extremal graph theory, 0102 computer and information sciences, Hypergraphs, 01 natural sciences, Logic, Symbolic and mathematical, QA1-939, FOS: Mathematics, Discrete Mathematics and Combinatorics, Mathematics - Combinatorics, 05C35, 05C69, 05C70, Set theory, Combinatorics (math.CO), Analysis, Mathematics, Computer Science - Discrete Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://digitalcommons.georgiasouthern.edu/cgi/viewcontent.cgi?article=1145&context=tag
http://arxiv.org/abs/2007.08930
https://doaj.org/article/2f886e5f5dbb4c429de7378abd075634
https://digitalcommons.georgiasouthern.edu/tag/vol8/iss1/6/
https://arxiv.org/abs/2007.08930
https://arxiv.org/pdf/2007.08930
https://digitalcommons.georgiasouthern.edu/cgi/viewcontent.cgi?article=1145&context=tag
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-08930
https://www.um.edu.mt/library/oar/handle/123456789/75947

Paul Mönnig - Grundkurs der Mathematik - Reprint

Autori: Mönnig, Paul

Predmety: Logic, Symbolic and mathematical, FOS: Mathematics, Metamathematics, Mathematics

P. Mönnig – Mathematik – SUPPLEMENT

Autori: HC User

Predmety: Logic, Symbolic and mathematical, Mathematics--Study and teaching

P. Mönnig – Mathematik – SUPPLEMENT

Autori: Buike, Bruno

Predmety: Logic, Symbolic and mathematical, Mathematics--Study and teaching

Paul Mönnig - Grundkurs der Mathematik - Reprint

Autori: Buike, Bruno Mönnig, Paul

Predmety: Logic, Symbolic and mathematical, FOS: Mathematics, Metamathematics, Mathematics

Ludwig Wittgenstein: dictating philosophy: to Francis Skinner - the Wittgenstein-Skinner manuscripts

Prispievatelia: Gibson, Arthur O'Mahony, Niamh

Predmety: Philosophy, Language and languages -- Philosophy, Logic, Symbolic and mathematical, Semantics, Intellectual life -- History