Hyppää sisältöön

Deskryptory BN w SKOS

Sisällön kieli

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

Käytettävä termi

Rachunek sekwentów

Yläkäsite

Assosiatiiviset käsitteet

Logika substrukturalna

Ohjaustermit

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

Lataa tämä käsite:

RDF/XML TURTLE JSON-LD