Zoekresultaten - "Categorical models and logics"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Artificial intelligence 4
- Computer programming / software development 4
- Computer science 4
- Mathematical foundations 4
- Algorithms & data structures 2
- Computer networking & communications 2
- Databases 2
- Discrete mathematics 2
- Mathematical theory of computation 2
- Programming & scripting languages: general 2
- Systems analysis & design 2
-
1
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Gepubliceerd in 2022Onderwerpen: “…Categorical models and logics…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
2
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Gepubliceerd in 2022Onderwerpen: “…Categorical models and logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
3
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...
Gepubliceerd in 2021Onderwerpen: “…categorical models and logics…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
4
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...
Gepubliceerd in 2021Onderwerpen: “…categorical models and logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
5
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...
Gepubliceerd in 2020Onderwerpen: “…categorical models and logics…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
6
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...
Gepubliceerd in 2020Onderwerpen: “…categorical models and logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk