equational的精選

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