Automated deduction, 3. Applications: a basis for applications
Dordrecht [u.a.]: Kluwer, 1998
Sammelwerk, Teil eines Werkes, Gedruckte Ressource
- XII, 334 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated deduction, 3. Applications: a basis for applications
|
---|---|
Verantwortlichkeitsangabe: | ed. by Wolfgang Bibel .. |
Autor/in / Beteiligte Person: | Bibel, Wolfgang |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Dordrecht [u.a.]: Kluwer, 1998 |
Medientyp: | Sammelwerk, Teil eines Werkes |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 334 S. : graph. Darst. |
ISBN: | 0792351312 |
Sonstiges: |
|