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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationPoster Session at JICSLP'96, Bonn, Germany, September 1996, Proceedings
    EditorsN.E. Fuchs, U. Geske
    Place of PublicationBonn, Germany
    PublisherGMD-Forschungszentrum Informationstechnik
    Pages99-122
    Publication statusPublished - 1996
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameGMD-Studien
    Number296

    Cite this