Automated theorem proving : a logical basis / Donald W. Loveland

Von:

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Fundamental studies in computer science ; 6Verlag: Amsterdam [u.a.] : North-Holland Publ. Co., 1978Beschreibung: XIII, 405 SISBN:

Schlagwörter:

DDC-Klassifikation:

RVK: RVK: ST 130LOC-Klassifikation:

Call number: Grundsignatur: 78 A 772PPN: PPN: 1605882682

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	78 A 772	Verfügbar	48639812090

Anzahl Vormerkungen: 0