Algebraic and Logic Programming: Second International Conference, Nancy, France,
67,84 €
Algebraic and Logic Programming. Proving and rewriting. - Proving correctness w.r.t. specifications with hidden parts. - Multi-modal logic programming using equational and order-sorted logic. - Logic programs with equational type specifications.
Jetzt bei Ebay:
