Рыбаков В.В., Римацкий В.В.
Сохранение допустимости правил вывода в логиках, родственных S4.2
Free Download
Authors: Рыбаков В.В., Римацкий В.В.
Size: 346 kB (354394 bytes)
Pages: 8/8
File format: pdf
Language: Russian
Publishing Year: 2002
Direct Download: Coming soon..
Download link:
Category: Mathematics , LogicSign in to view hidden content.
Be the first to review “Сохранение допустимости правил вывода в логиках, родственных S4.2” Cancel reply
You must be logged in to post a review.
Related products
- Mathematics , Logic
Constraint Solving Over Multi-valued Logics: Application to Digital Circuits
Free Download
Reviews
There are no reviews yet.