Higher-Order Algebra, Logic, and Term Rewriting Jan Heering
85,59 €
Titel: Higher-Order Algebra, Logic, and Term Rewriting, Untertitel: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers, Einband: Taschenbuch, Autor: Jan Heering, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 360, Maße: 235x155x20 mm, Gewicht: 546 g, Verkäufer: buch-mimpf, Schlagworte: Algebra EDV / Theorie / Informatik / Mathematik Logik Philosophie / Logik C programming language Computational Computer-Logik Functional Programming Funktionales Programmieren Higher-Order Methoden Higher-Order Methods rogramming Resolution Termersetzungsverfahren logic programming programming language verification.
Jetzt bei Ebay:
