Custom cover image
Custom cover image

Automated deduction : a basis for applications / ed. by Wolfgang Bibel ...

Contributor(s): Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Applied logic series ; ...Volumes: Show volumesPublisher: Dordrecht [u.a.] : Kluwer, 1998-ISBN:
  • 0792351320
Subject(s): Genre/Form: DDC classification:
  • 006.33
  • 006.3/33
RVK: RVK: SK 130 | CC 2600PPN: PPN: 1139550098
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT