Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 78 - kulcsszavak: '"matematikai logika"', keresési idő: 0.15mp Találatok szűrése
1
Logics for artificial intelligence
Szerző: Turner, Raymond
Megjelenés: 1985
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
2
The logic of information structures
Szerző: Wansing, Heinrich
Megjelenés: 1993
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
3
Logic : A foundation for computer science
Szerző: Sperschneider, Volker (1952-)
Megjelenés: 1991
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
4
Logical Foundations of Cyber-Physical Systems
Szerző: Platzer, André
Megjelenés: 2018
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
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:
7
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:
8
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:
9
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:
10
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:
11
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Szerző: Schlechta, Karl
Megjelenés: 2018
Tárgyszavak: “...matematikai logika -- tankönyv...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Szerző: Schlechta, Karl
Megjelenés: 2018
Tárgyszavak: “...matematikai logika -- tankönyv...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
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:
15
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:
16
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:
17
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:
18
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:
19
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:
20
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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése