- Tytuł:
- Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
- Autorzy:
- Lechniak, Marek
- Powiązania:
- https://bibliotekanauki.pl/articles/2016153.pdf
- 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 - Źródło:
-
Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł