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

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

Product ID: 3540517057 Condition: New

$ 190
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

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

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.25
Length
6.1
Weight
0.59083886216
Width
0.42
ReleaseDate
1989-09-20T00:00:01Z
NumberOfItems
1
Author
Schmidt-Schauß, Manfred