Algebraic and Logic Programming: Proceedings of International Workshop at Gaussig, GDR; November 14-18, 1988. Volume 343, Lecture Notes in Computer Science.

Goos, G. (Editor); Hartmanis, J. (Editor); Grabowski, J. (Editor); Lescanne, P. (Editor); Wechler, W. (Editor)

ISBN 10: 3540506675 / ISBN 13: 9783540506676

Published by Springer-Verlag, OHG, Berlin, Germany, 1988

About this Item

Has all standard Library markings, pocket, labels, stamps, wear and soil to covers. CLEAN TEXT. Thank you for your purchase from Sunset Books! Help Promote World Literacy, GIVE a Book as a GIFT!! In stock, Ships from Ohio. Will not fit in Flat Rate Priority Mail envelope. USPS Variable Rate applies for Domestic or International Priority mail. WE COMBINE SHIPPING ON MULTIPLE PURCHASES!!!! Size: 8vo.

Seller Inventory # 005564

Bibliographic Details

• Title: Algebraic and Logic Programming: Proceedings of International Workshop at Gaussig, GDR; November 14-18, 1988. Volume 343, Lecture Notes in Computer Science.
• Publisher: Springer-Verlag, OHG, Berlin, Germany
• Publication Date: 1988
• Language: English
• ISBN 10: 3540506675
• ISBN 13: 9783540506676
• Binding: Paperback
• Edition: 1st.
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Book Type: Ex-Library
• Seller catalogs:
  • SCIENTIFIC
  • TECHNOLOGY
  • COMPUTERS

About this title

Synopsis

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.