Suggested Topics within your search.
Suggested Topics within your search.
Computer networking & communications
Artificial intelligence
6
Computer science
6
Software Engineering
5
Computer programming / software development
4
Programming & scripting languages: general
4
Algorithms & data structures
2
Computer hardware
2
Computer modelling & simulation
2
Discrete mathematics
1
Mathematical foundations
1
Mathematical theory of computation
1
Maths for computer scientists
1
Natural language & machine translation
1
Network hardware
1
Operating systems
1
-
1
-
2Published 2020Subjects: “…Mathematical Logic and Foundations…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
3Published 2021Subjects: “…Logics and Meanings of Programs…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
4by Alemi, MarioSubjects: “…Mathematical logic…”
Published 2020
Get Fullteks
DOAB: description of the publication
Book Chapter -
5
-
6
-
7Published 2020Subjects: “…formal logic…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
8Published 2020Subjects: “…formal logic…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
9
-
10