Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, Volume 395) (2007. 184 S. 235 mm)

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.