Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2371 : Lecture notes in artificial intelligence |
| Schlagworte: |
ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS (CONGRESSOS)
> INTELIGÊNCIA ARTIFICIAL (CONGRESSOS)
> Informatique - Congrès
> Intelligence artificielle - Congrès
> Informatik
> Künstliche Intelligenz
> Artificial intelligence
> Computer science
> Abstraktion
> Maschinelles Lernen
> Formulierung
> Inferenz
> Constraint-Erfüllung
> Model Checking
> Approximation
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 346 S. Ill., graph. Darst. |
|---|---|
| ISBN: | 3540439412 3-540-43941-2 |