Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 10703Publisher: Cham : Springer, 2018Description: 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
- QA8.9-QA10.3
No physical items for this record