Custom cover image
Custom cover image

Canonical equational proofs / Leo Bachmair

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Progress in theoretical computer science ; [1]Publisher: Boston ; Berlin ; [Stuttgart] [u.a.] : Birkhäuser, 1991Edition: 1. prDescription: X, 135 S. : graph. Darst. ; 24 cmISBN:
  • 3764335556
  • 0817635556
Subject(s): DDC classification:
  • 511.3
MSC: MSC: *68T15 | 03B35 | 68-02RVK: RVK: ST 130Call number: Grundsignatur: 92 A 1366PPN: PPN: 019505469
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 92 A 1366 Available 44334261090
Total holds: 0