Refine your search
Availability
-
Authors
- Areces, Carlos
- Baratgin, Jean
- Costa, Diana
- Deng, Dun
- Fahrenberg, Uli
- Gierasimczuk, Nina
- Goubault-Larrecq, Je...
- Groza, Adrian
- Hanus, Michael
- Inclezan, Daniela
- Jacquet, Baptiste
- König, Barbara
- Li, Wei
- Lorini, Emiliano
- Sreejith, A. V.
- Sui, Yuefei
- Velázquez-Quesada, F...
- Westerståhl, Dag
- Winter, Michael
- Yama, Hiroshi
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Big data
- Big Data
- Compilers (Computer ...
- Compilers and Interp...
- Computer networks
- Computer science
- Formal Languages and...
- Logic in AI.
- Logic programming
- Machine theory
- Mathematical logic
- Mathematical Logic a...
- Mathematical Modelin...
- Mathematical models
- Mathematics of Compu...
- Natural language pro...
- Natural Language Pro...
- Software Engineering
- Software engineering
- Show more
- Show less