Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Häftad, 1996
573 kr
Algebraic and Logic Programming
6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
573 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Higher-Order Algebra, Logic, and Term Rewriting
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Häftad, 1994
573 kr
Declarative Programming and Knowledge Management
Salvador Abreu, Michael Hanus, Dietmar Seipel
E-bok
2018710 kr
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Karl Meinke, Reiner Hahnle, Amel Bennaceur
E-bok
2018813 kr
Del 13880
Del 11026
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Amel Bennaceur, Reiner Hähnle, Karl Meinke
Häftad, 2018
664 kr
Principles of Declarative Programming
Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Häftad, 1998
573 kr
Del 13361