- Tytuł:
- Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
- Autorzy:
- Lechniak, Marek
- Data publikacji:
- 2001
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
logika
rachunek predykatów
metoda zerojedynkowa
logic
predicate calculus
truth-table decision procedure - Pokaż więcej
- Źródło:
-
Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685 - Dostawca treści:
- Biblioteka Nauki
Artykuł