Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 97 - kulcsszavak: '"matematikai logika"', keresési idő: 0.09mp Találatok szűrése
1
Introduction to formal philosophy
Megjelenés: 2018
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Pattern Recognition : 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10–13, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Advances in Soft Computing : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Megjelenés: 2018
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Ontologies and Concepts in Mind and Machine : 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Raymond Smullyan on self reference
Megjelenés: 2017
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése