Affordable Access

Automated deduction with associative comutative operators

Authors
  • Russinowitch, Michael
  • Vigneron, Laurent
  • Centre National de la Recherche Scientif...
  • Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy...
  • Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy...
  • Institut National Polytechnique de Lorra...
Publication Date
Jan 01, 1993
Source
OpenGrey Repository
Keywords
License
Unknown
External links

Abstract

France

Report this publication

Statistics

Seen <100 times