Site programming by
Marcin Junczys-Dowmunt
Logowanie / rejestracja
Nawigacja
Strona główna
Historia Zakładu
Pracownicy Zakładu
Badania
Seminarium
Dydaktyka
Publikacje
Linki
Kontakt
Kategorie
Wersje językowe
English
Deutsch
Artykuł
dyskusja
Edytuj
Historia
Jerzy Pogonowski - Tablice Analityczne
From Zakład Logiki Stosowanej
Wersja z dnia 09:55, 23 lut 2008;
Pogonowski
(
Dyskusja
|
wkład
)
(różn) ← Poprzednia wersja |
Aktualna wersja
(
różn
) |
Następna wersja →
(
różn
)
Tablice Analityczne
Preliminaria matematyczne i logiczne.
Tablice analityczne dla KRZ.
Tablice analityczne dla KRP.
Dodatek: unifikacja i rezolucja.