No results for "Category:Logic in computer science" (auto) in titles.

Suggestions for article titles:

1. Computer science: Computer science is the study of the theoretical foundations of information and computation and how they can be implemented in computer systems. It is a broad discipline, with many fields. For example, computer programming involves the use of specific programming ... [100%] 2023-02-03
2. Computer science: The study of algorithmic processes, computational devices, and computing itself is referred to as computer science. A broad variety of subjects are covered by computer science as a field. [100%] 2024-01-04 [Computer science] [Formal sciences]...
3. Computer science: Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines (such as algorithms, theory of computation, and information theory) to applied disciplines (including the design and implementation of hardware and software). (Study of computation) [100%] 2023-10-17 [Computer science]
4. Computer science: Computer science is the study of various aspects of computers. It is a common course of study and degrees at the college level and beyond. [100%] 2023-03-01 [Information Technology] [Computer Science]...
5. Computer science: Computer science is an academic discipline which studies aspects of computers, computation and software. There are many areas of specialization within computer science. [100%] 2023-06-09
6. Computer science: Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines (such as algorithms, theory of computation, and information theory) to applied disciplines (including the design and implementation of hardware and software). (Study of computation) [100%] 2024-01-10 [Computer science] [Formal sciences]...
7. Computer science in sport: Computer science in sport is an interdisciplinary discipline that has its goal in combining the theoretical as well as practical aspects and methods of the areas of informatics and sport science. The main emphasis of the interdisciplinarity is placed on ... (Interdisciplinary study of informatics and sports science) [92%] 2023-12-19 [Computer science]
8. Logic in computer science: Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: Logic plays a fundamental role in computer science. (Academic discipline) [92%] 2023-11-03 [Logic in computer science] [Formal methods]...
9. Computer Simulations in Science: Computer simulation was pioneered as a scientific tool in meteorology and nuclear physics in the period directly following World War II, and since then has become indispensable in a growing number of disciplines. The list of sciences that make extensive ... (Philosophy) [92%] 2021-12-24
10. Diploma in Computer Science: The Diploma in Computer Science is a diploma offered by several post-secondary institutions: The diploma is also provided in various other universities all around the world. Computer Science is a major or specific interest that students can take at ... [92%] 2024-07-15 [Computer science education]
11. Cambridge Diploma in Computer Science: Diploma in Computer Science, originally known as the Diploma in Numerical Analysis and Automatic Computing, was a conversion course in computer science offered by the University of Cambridge. It is equivalent to a master's degree in present-day nomenclature ... [82%] 2024-01-01 [Academic courses at the University of Cambridge] [1953 in computing]...
12. Logical Methods in Computer Science: Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. [82%] 2023-12-01 [Computer science journals] [Logic in computer science]...
13. Lecture Notes in Computer Science: Lecture Notes in Computer Science is a series of computer science books published by Springer Science+Business Media since 1973. The series contains proceedings, post-proceedings, monographs, and Festschrifts. [82%] 2024-05-30 [Computer science books]
14. Lecture Notes in Computer Science: Lecture Notes in Computer Science (LNCS) ist eine Buchreihe aus der Informatik, die seit 1973 von Springer Science+Business Media (vormals Springer-Verlag) herausgegeben wird. Sie enthält Forschungsergebnisse der Informatik, meist als Tagungsbände, und Monographien. [82%] 2024-08-29
15. Logical Methods in Computer Science: Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logique. Elle a été créée en 2005. [82%] 2024-08-28
16. Lecture Notes in Computer Science: Lecture Notes in Computer Science (LNCS) es una serie de libros de ciencias de la computación que han sido publicados por Springer Science+Business Media (formalmente Springer-Verlag) desde 1973.​ LNCS publica resultados de investigaciones en ciencias de la computación ... [82%] 2024-07-20
17. Innovations in Theoretical Computer Science: The Conference on Innovations in Theoretical Computer Science is an academic conference about theoretical computer science. The conference was initiated by Andrew Yao in 2010, and was originally called Innovations in Computer Science. [82%] 2024-08-28 [Theoretical computer science conferences] [Recurring events established in 2010]...
18. Lecture Notes in Computer Science: Lecture Notes in Computer Science is a series of computer science books published by Springer Science+Business Media since 1973. The series contains proceedings, post-proceedings, monographs, and Festschrifts. [82%] 2024-07-16 [Academic journals established in 1973] [Computer science books]...
19. Logical Methods in Computer Science: Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. [82%] 2024-07-16 [Academic journals established in 2005] [Computer science journals]...
20. Lecture Notes in Computer Science: Lecture Notes in Computer Science (LNCS) è una serie di pubblicazioni riguardanti l'informatica, edite dalla Springer-Verlag a partire dal 1973. Essa contiene atti di congressi e convegni, monografie, tutorial e sondaggi sullo stato dell'arte della matematica, della teoria ... [82%] 2024-07-23