Developments in language theory 24th international conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings

Developments in language theory 24th international conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	DLT Tampa, Fla (VerfasserIn)
Weitere Verfasser:	Jonoska, Nataša 1961- (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham Springer [2020]
Schriftenreihe:	Lecture notes in computer science 12086
Schlagworte:	Logics and Meanings of Programs Natural Language Processing (NLP) Mathematics of Computing Information Systems and Communication Service Logic in AI. Computer logic Natural language processing (Computer science) Computer science—Mathematics Computers Artificial intelligence Theoretische Informatik Künstliche Intelligenz Formale Sprache Logik Konferenzschrift > 2020 > Tampa, Fla.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings
Veröffentlicht: (2023)

Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, proceedings
Veröffentlicht: (2023)

Joint training for neural machine translation
von: Cheng, Yong
Veröffentlicht: (2019)

Developments in language theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings
Veröffentlicht: (2018)

Human and artificial rationalities second international conference, HAR 2023, Paris, France, September 19–22, 2023, proceedings
Veröffentlicht: (2024)

Developments in language theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017 : proceedings
Veröffentlicht: (2017)

Implementation and application of automata 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, proceedings
Veröffentlicht: (2022)

Mathematics of program construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Veröffentlicht: (2019)

Handbook of Weighted Automata
Veröffentlicht: (2009)

Formal grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings
Veröffentlicht: (2019)

A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
Veröffentlicht: (2022)

Chatbot research and design 4th International Workshop, CONVERSATIONS 2020, virtual event, November 23-24, 2020 : revised selected papers
Veröffentlicht: (2021)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Veröffentlicht: (2003)

Logic, rationality, and interaction 9th international workshop, LORI 2023, Jinan, China, October 26-29, 2023 : proceedings
Veröffentlicht: (2023)

Chatbot research and design third international workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019 : revised selected papers
Veröffentlicht: (2020)

Chatbot research and design third international workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019 : revised selected papers
Veröffentlicht: (2020)

Language and automata theory and applications 13th international conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, proceedings
Veröffentlicht: (2019)

Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, proceedings
Veröffentlicht: (2020)

Static analysis 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, proceedings
Veröffentlicht: (2022)

Theoretische Informatik Eine umfassende Einführung
von: Priese, Lutz 1947-
Veröffentlicht: (2018)

Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers
Veröffentlicht: (2015)

Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings
Veröffentlicht: (2021)

Theoretical computer science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings
Veröffentlicht: (2017)

Introduction to Mathematica with applications
von: Mureşan, Marian ca. 20./21. Jh
Veröffentlicht: (2017)

String analysis for software verification and security
von: Bultan, Tevfik, et al.
Veröffentlicht: (2017)

Artificial intelligence 18th Russian conference, RCAI 2020, Moscow, Russia, October 10-16, 2020 : proceedings
Veröffentlicht: (2020)

Guide to discrete mathematics an accessible introduction to the history, theory, logic and applications
von: O'Regan, Gerard
Veröffentlicht: (2016)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
Veröffentlicht: (2023)

Internet Programming with OmniMark
von: Baker, Mark
Veröffentlicht: (2002)

Machine Translation 19th China Conference, CCMT 2023, Jinan, China, October 19–21, 2023, Proceedings
Veröffentlicht: (2023)

Neighborhood Semantics for Modal Logic
von: Pacuit, Eric
Veröffentlicht: (2017)

Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings
Veröffentlicht: (2023)

Formalisieren und Beweisen Logik für Informatiker
von: Siefkes, Dirk 1938-2016
Veröffentlicht: (1990)

Applied logic for computer scientists computational deduction and formal proofs
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2017)

Theoretical aspects of computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016 : proceedings
Veröffentlicht: (2016)

Formale Sprachen Eine Einführung
von: Becker, Heinrich
Veröffentlicht: (1977)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part III
Veröffentlicht: (2025)

Natural Language Processing and Chinese Computing 13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part V
Veröffentlicht: (2025)

Dialog Systems a perspective from language, logic and computation
Veröffentlicht: (2021)

R-calculus, IV: propositional logic
von: Li, Wei 1943-, et al.
Veröffentlicht: (2023)