Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 10703Verlag: Cham : Springer, 2018Beschreibung: Online-Ressource (X, 369 p. 17 illus, online resource)ISBN:- 9783319720562
- Logische Programmierung
- Berechnungskomplexität
- Logik
- Computational logic
- Computer Science
- Arithmetic and logic units, Computer
- Programming languages (Electronic computers)
- Computer logic
- Mathematical logic
- Computer science
- Computer programming
- Artificial intelligence
- Machine theory
- Compilers (Computer programs)
- Computer arithmetic and logic units
- 005.131
- QA8.9-QA10.3
Dieser Titel hat keine Exemplare