Automated reasoning with analytic tableaux and related methods international conference, tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1227 : Lecture notes in artificial intelligence |
| Schlagworte: |
Inteligencia artificial (computacao)
> Kunstmatige intelligentie
> Parallélisme (Informatique) - Congrès
> Redeneren
> Théorèmes - Démonstration automatique - Congrès
> Automatic theorem proving -- Congresses
> Parallel processing (Electronic computers) -- Congresses
> Automatisches Beweisverfahren
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 372 S. |
|---|---|
| ISBN: | 3540629203 3-540-62920-3 |