Megjelenítés: 61 - 80 / 141 - kulcsszavak: '"logika konferencia"', keresési idő: 0.06mp Találatok szűrése
61
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:
62
Algebraic logic
Megjelenés: 1991
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
63
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:
64
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:
65
Computer science logic : 17th International Workshop CSL 2003 ; 12th Annual Conference of the EACSL ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 2003 : Proceedings
Megjelenés: 2003
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
66
Logic year 1979-80 : The University of Connecticut, USA
Megjelenés: 1981
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
67
Arról, ami állítható...
Megjelenés: 2004
Tárgyszavak: “...logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
68
Logic Colloquium '86 : Proceedings of the Colloquium held in Hull, U. K. July 13-19, 1986
Megjelenés: 1988
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
69
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
Megjelenés: 1990
Tárgyszavak: “...matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
70
Set theory and hierarchy theory : A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
Megjelenés: 1976
Tárgyszavak: “...modellelmélet -- matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
71
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:
72
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:
73
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:
74
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:
75
Nonclassical logics and information processing : International workshop, Berlin , November 9-10, 1990 : Proceedings
Megjelenés: 1992
Tárgyszavak: “...formális logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
76
5 vol.
Megjelenés: 1971
Kapcsolódó cím: Symposia mathematica
Tárgyszavak: “...modellelmélet -- matematikai logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
77
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:
78
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:
79
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:
80
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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése