Deskryptory BN w SKOS

Język zawartości

... > 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

Preferowany termin

Rachunek sekwentów

Pojęcie szersze

Pojęcia pokrewne

Logika substrukturalna

Terminy pojęciowe

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

Pobierz to pojęcie:

RDF/XML TURTLE JSON-LD