Computational Aspects of an Order-Sorted Logic with Term Declarations

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations
Brand: Springer Verlag
SKU: 9780387517056
Price: 3937.00 INR
Availability: InStock

by M. Schmidt-Schauss

Springer Verlag · 1990

₹3,937

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer Verlag in 1990, Computational Aspects of an Order-Sorted Logic with Term Declarations by M. Schmidt-Schauss runs to 568 pages. It belongs to the Lecture notes in computer science series.

Topics covered include Sorting (Electronic computers) and Symbolic and mathematical Logic.