Egyéb keresési lehetőségek:
mathematical » mathematics (Keresés kiterjesztése)
languages » language (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 48 - kulcsszavak: '"Mathematical Logic and Formal Languages."', keresési idő: 0.16mp Találatok szűrése
1
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Megjelenés: 2018
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Trends in Artificial Intelligence: PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
Megjelenés: 2018
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
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