Mostrar 1 - 1 resultats de 1 per cerca 'Monika Seisenberger', hora de la petició: 0.02sec Refinar resultats
  1. 1
    Extracting verified decision procedures: DPLL and Resolution

    Extracting verified decision procedures: DPLL and Resolution per Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

    Publicat 2015-03-01
    Obtenir text complet
    Article

Eines de cerca: