Sign in

Justification by Infinite Loops.

David AtkinsonJeanne Peijnenburg
Published in: Notre Dame J. Formal Log. (2010)
Keyphrases
  • data sets
  • special case
  • medical images
  • finite sets