Authors: B. Dömölki T. Gergely
Hardcover ISBN: 9780444854407
Imprint: North Holland
Published Date: 12th February 1981
Secure CheckoutPersonal information is secured with SSL technology.
Free ShippingFree global shipping
No minimum order.
This volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary. Main topics of the Colloquium include:
- Model theoretical, universal algebra and category theoretical approaches to program semantics
- Logical and model theoretical approaches to program-verification, data representation and problem specification
- Logical and model theoretical approaches to theorem proving, automatic programming and automatic problem solving
- Very high level, logical based programming languages.
- © North Holland 1981
- 12th February 1981
- North Holland
- Hardcover ISBN:
We cannot process tax exempt orders online. If you wish to place a tax exempt order please contact us.