TU Darmstadt / ULB / TUbiblio

Second-order matching modulo evaluation: a technique for reusing proofs

Kolbe, Thomas ; Walther, :
Second-order matching modulo evaluation: a technique for reusing proofs.
In: International Joint Conference on Artificial Intelligence: IJCAI '95 <14, 1995, Montreal, Canada>: Proceedings. Vol. 1. Hrsg.: C.S. Mellish. S. 190-195 . Morgan Kaufmann Publ , San Fransisco
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Kolbe, Thomas ; Walther,
Titel: Second-order matching modulo evaluation: a technique for reusing proofs
Sprache: Englisch
Reihe: International Joint Conference on Artificial Intelligence: IJCAI '95 <14, 1995, Montreal, Canada>: Proceedings. Vol. 1. Hrsg.: C.S. Mellish. S. 190-195
Ort: San Fransisco
Verlag: Morgan Kaufmann Publ
Edition: San Fransisco: 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