Elements of finite model theory

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch
Titel: Elements of finite model theory
Beteiligte: Libkin, Leonid [VerfasserIn]
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2004
Erschienen in: Texts in theoretical computer science ; an EATCS series
Umfang: XIV, 315 S.; graph. Darst; 24 cm
Sprache: Deutsch; Englisch
ISBN: 9783540212027; 3540212027; 9783642059483
RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik,
SK 910 : Numerische Methoden der Konvergenzbeschleunigung, Iteration
ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik
Schlagwörter: Endliche Modelltheorie
Endliche Modelltheorie
Entstehung:
Anmerkungen: Literaturverz. S. [291] - 303

(0)