Deskryptory BN w SKOS

لغة المحتوى

... > Kultura > Nauka > Matematyka > Logika matematyczna > Rachunek sekwentów

... > Wiedza > Nauka > Matematyka > Logika matematyczna > Rachunek sekwentów

Deskryptory BN w SKOS > Automatyczne dowodzenie twierdzeń > Rachunek sekwentów

المصطلح المفضل

Rachunek sekwentów

مفهوم أوسع

المفاهيم ذات الصلة

Logika substrukturalna

مصطلحات المداخل

Rachunek Gentzena
Rachunek sekwentowy
Rachunki Gentzena
Rachunki sekwentów
Sekwenty Gentzena
Sequent calculus
System Gentzena
System LK
Systemy Gentzena

URI

https://bn-skos.lab.dariah.pl/Rachunek_sekwentow

تحميل هذا المفهوم:

RDF/XML TURTLE JSON-LD