Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

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

Mitwirkende(r): Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Reihen: Applied logic series ; ...Bände: Zeige BändeVerlag: Dordrecht [u.a.] : Kluwer, 1998-ISBN:
  • 0792351320
Schlagwörter: Genre/Form: DDC-Klassifikation:
  • 006.33
  • 006.3/33
RVK: RVK: SK 130 | CC 2600PPN: PPN: 1139550098
Dieser Titel hat keine Exemplare