Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 
Marseille, France, 1993

Basin, David; Hähnle, R.; Fronhöfer, B.; Posegga, J.; Schwind, C.

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Bericht

Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993

MPG-Autoren

/persons/resource/persons44075

Basin, David
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

MPI-I-93-213.pdf
(beliebiger Volltext), 128MB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Posegga, J., & Schwind, C.(1993). Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993 (MPI-I-93-213). Saarbrücken: Max-Planck-Institut für Informatik.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-B777-2

Zusammenfassung

Es ist keine Zusammenfassung verfügbar