TU Darmstadt / ULB / TUbiblio

Proof management and retrieval

Kolbe, Thomas ; Walther, :
Proof management and retrieval.
In: International Joint Conference on Artificial Intelligence / Workshop: Formal Approaches to the Reuse of Plans, Proofs and Programs <14, 1995, Montreal, Canada>: Proceedings. Hrsg.: C.S. Mellish . Morgan Kaufmann Publ , San Fransico
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Kolbe, Thomas ; Walther,
Titel: Proof management and retrieval
Sprache: Englisch
Reihe: International Joint Conference on Artificial Intelligence / Workshop: Formal Approaches to the Reuse of Plans, Proofs and Programs <14, 1995, Montreal, Canada>: Proceedings. Hrsg.: C.S. Mellish
Ort: San Fransico
Verlag: Morgan Kaufmann Publ
Edition: San Fransico: Morgan Kaufmann Publ., 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen