Suggested Topics within your search.
Showing 41 - 60 results of 93 for search '"Mathematical Logic and Formal Languages."', query time: 0.05s Refine Results
41
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
42
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
43
Digital Libraries: Data, Information, and Knowledge for Digital Lives : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
44
Description Logics in Multimedia Reasoning /
by Sikos, Leslie F.
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
45
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
46
Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
47
Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
48
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
49
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Get full text
eBook
50
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Get full text
eBook
51
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, Proceedings, Part II /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Get full text
eBook
52
Natural Language Processing and Information Systems : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
53
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
54
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
55
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
56
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 /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
57
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
58
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 of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
59
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 of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
60
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by Zeume, Thomas.
Published 2017
Subjects: “...Mathematical Logic and Formal Languages....”
eBook
Search Tools: Get RSS Feed — Email this Search