DMCA

System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities

Cached

Download Links

by Alexander Lyaletski , Konstantine Verchinine , Anatoli Degtyarev , Andrey Paskevich
Venue:INTELLIGENT INFORMATION SYSTEMS XI
Citations:1 - 1 self