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!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220617211907.0 | ||
| 008 | 040204s2003 xr e ||||||cze d | ||
| 020 | |a 8025100235 | ||
| 035 | |a CVTIDW0970856 | ||
| 040 | |b slo |a CVTI SR | ||
| 041 | 0 | |a cze | |
| 044 | |a xr | ||
| 080 | |a 510.6:004.8 |2 UDC-MRF | ||
| 100 | 1 | |a Lukasová, Alena, | |
| 245 | 1 | 0 | |a Formální logika v umělé inteligenci / |c Alena Lukasová |
| 250 | |a 1. vyd. | ||
| 260 | |a Brno : |b Computer Press, |c 2003 | ||
| 300 | |a IX, 269 s. : |b grafy, lit., tab. ; | ||
| 653 | 1 | |a umelá inteligencia |a poznatok |a výrok |a formálny jazyk |a axióma |a predikát |a splniteľnosť |a klauzula | |
| 910 | |b A589516 | ||
| 919 | |a 80-251-0023-5 | ||
| 974 | |f Knihy | ||
| 992 | |a APP | ||
| 999 | |c 129033 |d 129033 | ||