Description
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Availability: In Stock
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
SKU: 9783540517054
Original price was: $103.00.$14.00Current price is: $14.00.
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence), Jerzy Zabczyk, 9783540517054
Description
Additional information
Additional information
| Publisher | |
|---|---|
| ISBN | |
| Date of Publishing | |
| Author | |
| Category | |
| Page Number |
Related products
-
Homotopical Algebra (Lecture Notes in Mathematics)
0Original price was: $38.00.$13.00Current price is: $13.00. -
Young Mathematicians at Work: v. 3: Young Mathematicians at Work Constructing Fractions, Decimals and Percents
0Original price was: $91.00.$7.00Current price is: $7.00. -
Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities (Courant Lecture Notes)
0Original price was: $66.00.$15.00Current price is: $15.00. -
Mathematical Principles of Signal Processing: Fourier and Wavelet Analysis
0Original price was: $85.00.$14.00Current price is: $14.00.
Free Delivery
Orders over $100
100% Secure
Payment
Expert Customer
Service
payment
