Úvod do logiky a logického programování. 7., Rezoluce v predikátové logice
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Typ dokumentu: | Kniha |
| Jazyk: | Čeština |
| Vydáno: |
[Brno :
Středisko pro pomoc studentům se specifickými nároky,
200-]
|
| Témata: |
| Fyzický popis: | s. 135-154 v Braillově písmu |
|---|