![](/img/cover-not-exists.png)
Using the VIRT programming language for automatic theorem proving
A. I. BaranovskiiVolume:
35
Language:
english
Pages:
12
DOI:
10.1007/bf02742284
Date:
November, 1999
File:
PDF, 1017 KB
english, 1999