Formální logika v umělé inteligenci /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Tschechisch |
| Veröffentlicht: |
Brno :
Computer Press,
2003
|
| Ausgabe: | 1. vyd. |
| Schlagworte: |
umelá inteligencia
> poznatok
> výrok
> formálny jazyk
> axióma
> predikát
> splniteľnosť
> klauzula
|
| ISBN: | 8025100235 |
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | IX, 269 s. : grafy, lit., tab. ; |
|---|---|
| ISBN: | 8025100235 |