Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Unification in Boolean Rings an Unquantified Formulae of First Order Predicate Calculus

Unification in Boolean Rings an Unquantified Formulae of First Order Predicate Calculus

Ursula Martin

Publisher
University of Manchester‚ Department of Computer Science
Year
1986

Links

See Also

Back to Top