Logical environments
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1993
|
| Ausgabe: | 1. publ. |
| Schlagworte: |
Intelligence artificielle - Congrès
> Logique symbolique et mathématique - Congrès
> Théorèmes - Démonstration automatique - Congrès
> algorithme
> logique mathématique
> théorie démonstration
> théorie type
> Künstliche Intelligenz
> Artificial intelligence
> Automatic theorem proving
> Logic, Symbolic and mathematical
> Logik
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XIII, 338 S. |
|---|---|
| ISBN: | 0521433126 0-521-43312-6 |