Rewriting and Typed Lambda Calculi Gilles Dowek
53,49 €
Titel: Rewriting and Typed Lambda Calculi, Untertitel: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Einband: Taschenbuch, Autor: Gilles Dowek, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 516, Maße: 235x155x28 mm, Gewicht: 774 g, Verkäufer: buch-mimpf, Schlagworte: Mathematik / Informatik, Computer Complexity Analysis Constructive Mathematics automata constraint and logic programming lambda-mu calculus logic model checking pattern matching proof theory type theory.
Jetzt bei Ebay:
