Logical Foundations of Computer Science Anil Nerode
53,49 €
Titel: Logical Foundations of Computer Science, Untertitel: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings, Einband: Taschenbuch, Autor: Anil Nerode, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 300, Maße: 235x155x17 mm, Gewicht: 458 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Science Constructive Type Theory GPAC-generable functions complexity computability first-order logic formal logic highre-order arithmetics knowledge of uncertain worlds modal logic non-normal modal logics observable models primitive recursion problem solving semanitic systems theorem proving.
Jetzt bei Ebay:
