- 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
- Dostawca treści:
- Biblioteka Nauki
Artykuł