Verwandte Artikel zu Higher-Order Algebra, Logic, and Term Rewriting: Second...
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 45,60
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Higher-Order Algebra, Logic, and Term Rewriting: Second...
Beispielbild für diese ISBN
Higher-order Algebra, Logic, And Term Rewriting/second International Workshop, Hoa *95, Paderborn, Germany, September 1995. Selected Papers
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-86645
Anzahl: 1 verfügbar
Foto des Verkäufers
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540612544
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher-Order Algebra, Logic, and Term Rewriting
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. 304. Artikel-Nr. 183071941
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher-Order Algebra, Logic, and Term Rewriting
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. 304 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Artikel-Nr. 5857296
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540612544_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher-Order Algebra, Logic and Term Rewriting
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
ISBN 10: 3540612548
ISBN 13: 9783540612544
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 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. Editor(s): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950. . 1996. Paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9783540612544
Anzahl: 15 verfügbar