Megjelenítés: 1 - 20 / 52 - kulcsszavak: '"logika"', keresési idő: 0.02mp 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
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Megjelenés: 1994
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
4
Computer science logic : 4th Workshop, CSL'90 Heidelberg, Germany, October 1990 : proceedings
Megjelenés: 1991
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
5
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Megjelenés: 1995
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
6
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 1988 : proceedings
Megjelenés: 1989
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
7
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Megjelenés: 1999
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
8
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:
9
Computer science logic : 16th International Workshop, CSL 2002 ; 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : Proceedings
Megjelenés: 2002
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
10
Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Megjelenés: 1997
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
11
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:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
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:
19
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:
20
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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése