Automation in language translation and theorem proving. Some applications of mathematical logic.

• Edition:
• Hardcover, Good

• Details:
• Language: English
• Alibris ID: 8073837148

• Shipping Options:
• Standard Shipping: $4.61

Choose your shipping method in Checkout. Costs may vary based on destination.