HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Christiansen, H. (Foredragsholder)

    Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

    Periode2 okt. 2005
    BegivenhedstitelLogic Programming, 21st International Conference, ICLP 2005
    BegivenhedstypeKonference
    Konferencenummer21
    PlaceringSitges, Spanien