> Detailanzeige

Fitting, Melvin [Verfasser:in]

First-order logic and automated theorem proving - [2. ed.]

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch
Titel: First-order logic and automated theorem proving
Beteiligte: Fitting, Melvin [Verfasser:in]
Erschienen: New York; Heidelberg [u.a.]: Springer, 1996
Erschienen in: Graduate texts in computer science
Ausgabe: 2. ed.
Umfang: XVI, 326 S; graph. Darst; 25 cm
Sprache: Englisch
ISBN: 9781461275152; 0387945938
RVK-Notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
Schlagwörter: Prädikatenlogik > Stufe 1 > Automatisches Beweisverfahren
Entstehung:
Anmerkungen: Literaturverz. S. [315] - 318

Exemplare

(0)

Zentralbibliothek

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10272799

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10272800

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10428646

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10428651

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10428655

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10428659

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 10428666

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 30441016

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 304 F547(2)
Barcode: 30932240

Status: Ausleihbar

Bereichsbibliothek DrePunct

Bereichsbibliothek DrePunct – Freihand

Signatur: ST 304 F547(2)
Barcode: 10425594

Status: Ausleihbar

Bereichsbibliothek DrePunct – Magazin

Signatur: 1997 8 004639 002
Barcode: 10428656

Status: Ausleihbar, bitte bestellen

> Bestellen möglich - bitte anmelden

Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung

Bestand der TU Dresden

Signatur: 1997 8 004639 043
Barcode: XMOM1357378

Status: Verfügbarkeit bitte in Prof Mensch-Computer-Interaktion erfragen.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: