equational的精选

Thisisanautomatedtheoremproverforfirst-orderandequationallogic,usedtosupportinferenceinlanguageprocessing.Thesimilaritymethodofmassflow,asitiscalledinthispaper,isdifferentfromthemethodsofequationalana...