Megjelenítés: 1 - 20 / 53 - kulcsszavak: '"logika"', keresési idő: 0.04mp Találatok szűrése
1
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:
2
Foundations of Finitely Supported Structures : A Set Theoretical Viewpoint
Szerző: Alexandru, Andrei
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen 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:
4
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:
5
Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...fuzzy-logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
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:
7
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
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:
8
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 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
Game Theory : Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...fuzzy-logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
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:
11
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:
12
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, 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:
13
Representation Theorems in Computer Science : A Treatment in Logic Engineering
Szerző: Özçep, Özgür Lütfü
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:
14
The Foundations of Computability Theory
Szerző: Robič, Borut
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 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:
16
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 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:
17
Rough Sets : International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...fuzzy-logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 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:
19
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 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:
20
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése