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