Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors

• Pubblicazione: Cham, : Springer, 2020
• Titolo uniforme: Logical Foundations of Computer Science
• Descrizione fisica: x, 287 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 03B70 - Logic in computer science [MSC 2020]
• Soggetto non controllato: Artificial Intelligence; Complexity; Computability; Computer Science; Constructive type theory; First-order logic; Formal logic; GPAC-generable functions; Higher-order arithmetics; Knowledge of uncertain worlds; Modal Logic; Non-normal modal logics; Observable models; Primitive recursion; Problem Solving; Semanitic systems; Theorem proving
• Persona (resp. second.): Artemov, Sergei; Nerode, Anil <1932- >
• Titolo autorizzato: Logical Foundations of Computer Science
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0249404
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-36755-8
• Serie: Lecture notes in computer science Berlin [etc.] . -Springer ; 11972