Formal Languages and Automata Theory.
概要
作品: | 62 作品在 19 項出版品 19 種語言 |
---|
書目資訊
Inductive logic programming = 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web = ESWC 2023 satellite events : Hersonissos, Crete, Greece, May 28 - June 1, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Flexible query answering systems = 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Metadata and semantic research = 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Deriving priorities from incomplete fuzzy reciprocal preference relations = theories and methodologies /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Metadata and Semantic Research = 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automata Theory and Formal Languages = Fundamental Notions, Theorems, and Techniques /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2022 Satellite Events = Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Open Semantic Technologies for Intelligent Systems = 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 22nd Workshop, CLSW 2021, Nanjing, China, May 15–16, 2021, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(書目-語言資料,印刷品)
Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
更多
較少的
主題