Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science - Gilles Dowek - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540612544 - May 8, 1996
In case cover and title do not match, the title is correct

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science 1996 edition

Gilles Dowek

Price
$ 65.49

Ordered from remote warehouse

Expected delivery Apr 25 - May 9
Add to your iMusic wish list

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science 1996 edition

Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems.


296 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released Tyskland, May 8, 1996
ISBN13 9783540612544
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 296
Dimensions 155 × 235 × 16 mm   ·   426 g
Editor Dowek, Gilles
Editor Heering, Jan
Editor Meinke, Karl
Editor Moeller, Bernhard

Show all

More by Gilles Dowek