Keresési eredmények - "Mathematical Logic and Formal Languages."

81

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,...

Megjelenés: 2018

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

82

Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

83

OWL: Experiences and Directions – Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revise...

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

84

Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Sel...

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

85

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

86

Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

87

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

88

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

89

Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

90

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

91

Health Information Science : 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

92

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

93

Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

94

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

95

Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

96

On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proce...

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

97

Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

98

Natural Language Processing and Information Systems : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-2...

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

99

KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

100

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Megjelenés: 2017

Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz

könyv

Keresés szűkítése