Megjelenítés: 1 - 12 / 12 - kulcsszavak: '"logika konferencia"', keresési idő: 0.22mp Találatok szűrése
1
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 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:
2
Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 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
Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, 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:
4
Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Integrated Uncertainty in Knowledge Modelling and Decision Making : 7th International Symposium, IUKM 2019, Nara, Japan, March 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:
6
Bioinformatics Research and Applications : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–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:
7
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 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
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 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
Computer Science – Theory and Applications : 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 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
Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Bioinformatics and Biomedical Engineering : 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 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:
12
Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, 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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése