Automated deduction, 2. Systems and implementation techniques: a basis for applications
Dordrecht [u.a.]: Kluwer, 1998
Sammelwerk, Teil eines Werkes, Gedruckte Ressource
- XIV, 434 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated deduction, 2. Systems and implementation techniques: 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: | XIV, 434 S. : graph. Darst. |
ISBN: | 0792351304 |
Sonstiges: |
|