Resultats de la cerca - "Computer Science Logic and Foundations of Programming"
Matèries dins de la cerca
Matèries dins de la cerca
- Computer Science Logic and Foundations of Programming 2
- Computer architecture & logic design 2
- Computer programming / software engineering 2
- Logics and Meanings of Programs 2
- Software Engineering 2
- computer programming 2
- formal logic 2
- semantics 2
- software design 2
- software quality 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2
- Artificial Intelligence 1
- Compilers & interpreters 1
- Compilers and Interpreters 1
- Computer Engineering and Networks 1
- Computer Systems Organization and Communication Networks 1
- Computer networking & communications 1
- Formal Languages and Automata Theory 1
- Mathematical Logic and Formal Languages 1
- Mathematical theory of computation 1
- Natural Language Processing (NLP) 1
- Natural language & machine translation 1
- Programming & scripting languages: general 1
- Programming Languages, Compilers, Interpreters 1
- automata theory 1
- boolean functions 1
- concurrency theory 1
- distributed computer systems 1
Alternatives de cerca:
- science »
- foundations »
-
Programming Languages and Systems
Publicat 2021Matèries: “…Computer Science Logic and Foundations of Programming…”
Obtenir text complet
Online -
Automated Deduction – CADE 28
Publicat 2021Matèries: “…Computer Science Logic and Foundations of Programming…”
Obtenir text complet
Online