Canonical equational proofs / Leo Bachmair

Von:

Bachmair, Leo [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Progress in theoretical computer science ; [1]Verlag: Boston ; Berlin ; [Stuttgart] [u.a.] : Birkhäuser, 1991Auflage: 1. prBeschreibung: X, 135 S. : graph. Darst. ; 24 cmISBN:

3764335556
0817635556

Schlagwörter:

Automatisches Beweisverfahren
Reduktionssystem
Knuth-Bendix-Vervollständigungsprozedur
Schlussfolgern
Gleichung
Equations
Automatic theorem proving
Rewriting systems (Computer science)

DDC-Klassifikation:

511.3

MSC: MSC: *68T15 | 03B35 | 68-02RVK: RVK: ST 130Call number: Grundsignatur: 92 A 1366PPN: PPN: 019505469

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	92 A 1366	Verfügbar	44334261090

Anzahl Vormerkungen: 0