Aleksey Novodvorsky

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 Aleksey Novodvorsky, Aleksey Smirnov: A shell for generic interactive proof search. Journal of Applied Non-Classical Logics 8(1-2): (1998)

	1998
1		Aleksey Novodvorsky, Aleksey Smirnov: A shell for generic interactive proof search. Journal of Applied Non-Classical Logics 8(1-2): (1998)

Coauthor Index