On solving member and instance constraints: metaprogramming and metareasoning

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelLogic (META96)
    Vol/bind127
    Udgivelses stedUppsala
    ForlagComputer Science department, Uppsala University
    Publikationsdato1996
    Sider13-25
    StatusUdgivet - 1996

    Citer dette