Proof Presentation Based on Proof Plans

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
SEKI Report ; 98,08

Ereignis
Veröffentlichung
(wo)
Kaiserslautern
(wer)
Technische Universität Kaiserslautern, Fachbereich Informatik
(wann)
1998
Urheber
Melis, Erica

URN
urn:nbn:de:hbz:386-kluedo-3937
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

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

Beteiligte

  • Melis, Erica
  • Technische Universität Kaiserslautern, Fachbereich Informatik

Entstanden

  • 1998

Ähnliche Objekte (12)

Proof presentation

Proof presentation

Human oriented proof presentation : a reconstructive approach

Hochschulschrift

Human oriented proof presentation : a reconstructive approach

Human Oriented Proof Presentation: A Reconstructive Approach

Hochschulschrift

Human Oriented Proof Presentation: A Reconstructive Approach

Human oriented proof presentation : a reconstructive approach

Hochschulschrift

Human oriented proof presentation : a reconstructive approach

Proof

Proof

PROOF

Graffiti | Streetart

PROOF

proof

Graffiti | Streetart

proof

Proof-theoretic Validity Based on Elimination Rules

Proof-theoretic Validity Based on Elimination Rules

Proof Sarbax

Noten (Musik)

Proof Sarbax

Proof positive

Grafik

Proof positive

Proof theory

Proof theory

Proof theory

Proof theory

Verbundene Objekte