Logic, Language, Information, and Computation Valeria De Paiva
Titel: Logic, Language, Information, and Computation, Untertitel: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, Einband: Taschenbuch, Autor: Valeria De Paiva, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 224, Maße: 235x155x13 mm, Gewicht: 347 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik Coalgebraic logic Finite model theory Linear Logic Proof nets Rewriting theory Separation logic Topological semantics automata theory automated reasoning category theory completeness complexity theory decidability logic and verification mathematical logic modal and temporal logics natural language semantics proof theory theoretical computer science type theory.
Jetzt bei Ebay:
