On Merging Theorem Proving and Logic Programming Paradigms

C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, I. Niemelä, D. Schäfer, F.I. Stolzenburg

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoPoster Session at JICSLP'96, Bonn, Germany, September 1996, Proceedings
    ToimittajatN.E. Fuchs, U. Geske
    JulkaisupaikkaBonn, Germany
    KustantajaGMD-Forschungszentrum Informationstechnik
    Sivut99-122
    TilaJulkaistu - 1996
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Julkaisusarja

    NimiGMD-Studien
    Numero296

    Siteeraa tätä