Search Results - Formal semantics (natural language)
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 30
- Artificial intelligence 26
- Software Engineering 20
- Computer networking & communications 16
- Computer programming / software development 14
- Algorithms & data structures 8
- Programming & scripting languages: general 8
- linguistics 8
- Artificial Intelligence 7
- Formal Languages and Automata Theory 7
- Machine theory 7
- Psycholinguistics 7
- Mathematical theory of computation 6
- Semantics & pragmatics 5
- Computational linguistics 4
- Computer Science Logic and Foundations of Programming 4
- Computer modelling & simulation 4
- Expert systems / knowledge-based systems 4
- Natural language & machine translation 4
- Network hardware 4
- Philosophy of language 4
- Software engineering 4
- Language 3
- Language and languages 3
- Machine learning 3
- Philosophy 3
- Psycholinguistics and Cognitive Lingusitics 3
- Biography: general 2
- Coding theory & cryptology 2
- Cognition & cognitive psychology 2
-
1
-
2
Advances in Proof-Theoretic Semantics
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Advances in Proof-Theoretic Semantics
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
-
5
Vector Semantics
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Vector Semantics
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
-
8
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…Natural language & machine translation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…Natural language & machine translation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
-
11
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
12
-
13
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
-
16
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
-
18
-
19
Formal approaches to number in Slavic and beyond (Volume 5)
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Formal approaches to number in Slavic and beyond (Volume 5)
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter