Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence
- Computer networking & communications 12
- Computer programming / software development 12
- Software Engineering 12
- Computational linguistics 8
- Natural language & machine translation 8
- Computer science 6
- Databases 6
- Machine learning 6
- Mathematical theory of computation 6
- Algorithms & data structures 4
- Data mining 4
- Expert systems / knowledge-based systems 4
- Information retrieval 4
- Programming & scripting languages: general 4
- Algebra 2
- Business mathematics & systems 2
- Coding theory & cryptology 2
- Computer hardware 2
- Computer modelling & simulation 2
- Discrete mathematics 2
- Literature: history & criticism 2
- Mathematical foundations 2
- Maths for computer scientists 2
- Maths for engineers 2
- Public administration 2
-
1
Semantics in Action Applications and Scenarios
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Vector Semantics
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Vector Semantics
Published 2023Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
-
8
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
-
12
Knowledge Graphs and Big Data Processing
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Knowledge Graphs and Big Data Processing
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
-
17
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
-
19
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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter