Eintrag weiter verarbeiten
Proving theorems by reuse
Gespeichert in:
Zeitschriftentitel: | Artificial Intelligence |
---|---|
Personen und Körperschaften: | , |
In: | Artificial Intelligence, 116, 2000, 1-2, S. 17-66 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |