TECHNOLOGY OF DATA PROCESSING AND SOFTWARE DEVELOPING
| Evidence Algorithm and proof search in automated reasoning systems | PDF (Українська (Ukrainian)) |
| Alexander Lyaletski, Alexander Lyaletski, Iochim Drugus |
This work is licensed under a Creative Commons Attribution 3.0 License.