dblp.uni-trier.dewww.uni-trier.de

Andrey Paskevich

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEKonstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly Anisimov: On Correctness of Mathematical Texts from a Logical and Practical Point of View. AISC/MKM/Calculemus 2008: 583-598
7EEAndrey Paskevich: Connection Tableaux with Lazy Paramodulation. J. Autom. Reasoning 40(2-3): 179-194 (2008)
2007
6EEKonstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich: System for Automated Deduction (SAD): A Tool for Proof Verification. CADE 2007: 398-403
2006
5EEAndrey Paskevich: Connection Tableaux with Lazy Paramodulation. IJCAR 2006: 112-124
4EEAlexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine: SAD as a mathematical assistant - how should we go from here to there? J. Applied Logic 4(4): 560-591 (2006)
2004
3 Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine: Evidential Paradigm and Intelligent Mathematical Text Processing. ISTA 2004: 205-211
2EEAlexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine: Theorem Proving and Proof Verification in the System SAD. MKM 2004: 236-250
2002
1 Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich: System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. Intelligent Information Systems 2002: 413-422

Coauthor Index

1Anatoly Anisimov [8]
2Anatoli Degtyarev [1]
3Anatoly E. Doroshenko [3]
4Alexander V. Lyaletski [1] [2] [3] [4] [6] [8]
5Konstantin Verchinine [1] [2] [3] [4] [6] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)