Megjelenítés: 1 - 20 / 44 - kulcsszavak: '"logika konferencia"', keresési idő: 0.18mp Találatok szűrése
1
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:
2
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:
3
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings
Megjelenés: 1990
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
4
Computer science logic : 11th international workshop, CSL 97 : Annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : Selected papers
Megjelenés: 1998
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
5
Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
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:
6
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:
7
Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 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:
8
Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 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:
9
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 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:
10
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:
11
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 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
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 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:
13
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 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:
14
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 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:
15
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 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
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-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:
17
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
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:
18
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 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:
19
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, 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:
20
Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése