DMCA

Linguistic Tools and Deductive Technique of the System for Automated Deduction

Cached

Download Links

by Zainutdin Aselderov , Konstantin Verchinine , Anatoli Degtyarev , Alexander Lyaletski , Andrey Paskevich , Alexandre Pavlov , Re Pavlov
Citations:3 - 3 self