Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Paperback, 1996 ed.) Loot Price: R1,619

Discovery Miles 16 190

Repayment Terms: R152 pm x 12*

Add to cart

Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September...

Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Paperback, 1996 ed.)

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Moeller

Series: Lecture Notes in Computer Science, 1074

(sign in to rate)

Loot Price R1,619 Discovery Miles 16 190 | Repayment Terms: R152 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1074
Release date:	May 1996
First published:	1996
Editors:	Gilles Dowek • Jan Heering • Karl Meinke • Bernhard Moeller
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	296
Edition:	1996 ed.
ISBN-13:	978-3-540-61254-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	3-540-61254-8
Barcode:	9783540612544