Logic for Programming, Artificial Intelligence, and Reasoning: 9th International
63,87 €
Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions.
Jetzt bei Ebay:
