All Products : Search

In association with Amazon.com

Classical Music

Health & Personal Care

Kitchen & Housewares

Musical Instruments

Office Products

Tools & Hardware

Books

1.

All Products : Unification in boolean rings an unquantified formulae of first order predicate calculus (Technical report series. University of Manchester. Dept. of Computer Science)

Unification in boolean rings an unquantified formulae of first order predicate calculus (Technical report series. University of Manchester. Dept. of Computer Science)
by: Ursula Martin
1986

2.

All Products : Some computational aspects of an order-sorted calculus: Order-sorted unification using compact representation of clauses (Rapport de recherche / Informatique ... et Mathématiques Appliquées de Grenoble)

Some computational aspects of an order-sorted calculus: Order-sorted unification using compact representation of clauses (Rapport de recherche / Informatique ... et Mathématiques Appliquées de Grenoble)
by: Gilles Chaminade
1988

script by MrRat
Updated by Labbs 24^th July 2009