Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 63 - kulcsszavak: '"matematikai logika"', keresési idő: 0.05mp Találatok szűrése
1
Nonmonotonic logic : Context-dependent reasoning
Szerző: Marek, V. Wictor (1943-)
Megjelenés: 1993
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
2
Matrix logic
Szerző: Stern, August (1945-)
Megjelenés: 1988
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
3
Knowledge based theorem proving and learning
Szerző: Cohen, Donald N.
Megjelenés: 1981
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
4
Automated reasoning : 33 basic research problems
Szerző: Wos, Larry
Megjelenés: 1988
Tárgyszavak: “...automatikus tételbizonyítás -- matematikai logika...”
könyv
Mentés a listára
Mentés helye:
5
Logic, algebra and databases
Szerző: Gray, Peter M. D.
Megjelenés: 1982
Tárgyszavak: “...matematikai logika -- számítástudományi alkalmazás...”
könyv
Mentés a listára
Mentés helye:
6
Logikai programozás : Az intelligens következtetés példákon keresztül
Szerző: Flach, Peter A.
Megjelenés: 2001
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
7
Methodologies for intelligent systems, 4 : Proceedings of the fourth International Symposium on Methodologies for Intelligent Systems held october 12-14, 1989, in Charlotte, North Carolina
Megjelenés: 1989
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
8
Logics for artificial intelligence
Szerző: Turner, Raymond
Megjelenés: 1985
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
9
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:
10
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:
11
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:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
Advances in Conceptual Modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 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
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:
20
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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése