Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 61 - 80 / 136 - kulcsszavak: '"matematikai logika"', keresési idő: 0.12mp Találatok szűrése
61
Fuzzy Logic and Applications : 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 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:
62
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, 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:
63
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
64
Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
65
Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
66
Text, Speech, and Dialogue : 23rd International Conference, TSD 2020, Brno, Czech Republic, September 8–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:
67
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Szerző: Alemi, Mario
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
68
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
69
Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
70
Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 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:
71
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–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:
72
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
73
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
74
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 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:
75
Semantic Technology : 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
76
Theory and Applications of Models of Computation : 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
77
AI*IA 2019 – Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
78
Essays on Husserl's logic and philosophy of mathematics
Megjelenés: 2017
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
79
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 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:
80
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Megjelenés: 2020
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