Hochschulschrift

Proof profiles : characteristic clause sets and proof transformations

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783836470070
Maße
22 cm
Umfang
VI, 113 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Hergestellt on demand
Zugl.: Wien, Techn. Univ., Diss., 2007

Klassifikation
Mathematik

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
VDM Verlag Dr. Müller
(wann)
2008
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:49 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2008

Ähnliche Objekte (12)

PROOF

Graffiti | Streetart

PROOF

proof

Graffiti | Streetart

proof

Proof

Proof

Proof Presentation Based on Proof Plans

Proof Presentation Based on Proof Plans

Negative proof

Grafik

Negative proof

Proof positive

Grafik

Proof positive

Proof Sarbax

Noten (Musik)

Proof Sarbax

Proof theory

Proof theory

Proof theory

Proof theory

Proof presentation

Proof presentation

Proof that ... .

Aufsatz

Proof that ... .

Proof theory and algorithms for answer set programming

Hochschulschrift

Proof theory and algorithms for answer set programming

Verbundene Objekte