System for Automated Deduction (SAD): Linguistic and deductive peculiarities (0)

by A Lyaletski, K Verchinine, A Degtyarev, A Paskevich
Venue:Intelligent Information Systems, the 11th International Symposium, IIS 2002