М.Двач / Математика

Генератор деревьев Gentzen-style 2 мар 2024, 14:18 113473 В конец треда | Веб

16 Кб, 220x31743 Кб, 1144x315

Привет, матачане! Знает кто, а существуют ли генераторы деревьев доказательства в Gentzen-style? Всякие tablaux генераторы прошу не предлагать, нужны деревья именно в Gentzen-style. Заранее спасибо!

2 2 мар 2024, 20:36 2 113478

https://www.logicmatters.net/resources/pdfs/latex/BussGuide2.pdf

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion