Megjelenítés: 1 - 20 / 59 - kulcsszavak: '"logika"', keresési idő: 0.03mp Találatok szűrése
1
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:
2
Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III
Megjelenés: 2020
Tárgyszavak: “...fuzzy-logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Analogie et cognition : Étude expérimentale et simulation informatique
Szerző: Gineste, Marie-Dominique
Megjelenés: 1997
Tárgyszavak: “...matematikai logika -- nyelv -- fogalom...”
könyv
Mentés a listára
Mentés helye:
8
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV : Special Issue on Data Management – Principles, Technologies, and Applications
Megjelenés: 2020
Tárgyszavak: “...formális logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Joint Training for Neural Machine Translation
Szerző: Cheng, Yong
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...formális logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
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:
14
Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
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:
16
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:
17
Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Modeling Decisions for Artificial Intelligence : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...fuzzy-logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Megjelenés: 2020
Tárgyszavak: “...számítógépes 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