Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Schmidt-Schauß, Manfred

Language: English

Published by Springer, 1989

3540517057 / 9783540517054

  • Softcover
  • New
See all details

Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA

4-star seller

AbeBooks seller since June 30, 2024

View this seller's items
Softcover

Condition: New

US$ 99.99

 Free Shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Satisfaction Guaranteed or your money back.

Seller Inventory # 3540517057

Report this item

Bibliographic details

Title
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Author
Schmidt-Schauß, Manfred
Publisher
Springer
Publication year
1989
Condition
New
Binding
Soft cover
Language
English
ISBN 10
3540517057
ISBN 13
9783540517054

SHIMEDIA

Brooklyn, NY, U.S.A.

4-star seller

AbeBooks seller since June 30, 2024

Shipping rates within U.S.A.

Item5 to 14 business days5 to 14 business days
First itemUS$ 0.00US$ 14.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Specialty

Science Fiction, Fantasy, etc

Seller's business information

SHIMEDIA

NY, U.S.A.

Contact sellerView this seller's itemsView seller's storefront