Computational Aspects of an Order-Sorted Logic with Term Declarations

Printed Book
SR 216
Inclusive of VAT
Sold as: EACH
SR13Per Month/24 months
Author:Schmidt-Schauß, Manfred
Date of Publication: 1989
Book classification:Computer & Technology,English Books
No. of pages:184 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR216
Incl. VAT

Choose your delivery preference

Or

Specifications

SKU9783540517054
Manufacturer Number9783540517054
year published1989
Show more

Report an issue with this product.

Customer Reviews