Showing 3,321 - 3,340 results of 5,997 for search '"logicism"', query time: 0.11s Refine Results
  1. 3321
    Part of book
    Published in 2019
    Repositorio Expeditio: repositorio UTadeo
    ... logic and according proof obligations. We fully implemented this framework in the KeY program verifier...
    Get full text
    Get full text
  2. 3322
  3. 3323
  4. 3324
  5. 3325
  6. 3326
  7. 3327
    Trabajo de grado de pregrado
    Published in 2015
    Repositorio Repositorio Institucional USTA

    Get full text
  8. 3328
  9. 3329
    Trabajo de grado de pregrado
    Published in 2020
    Repositorio Repositorio Institucional USTA

    Get full text
  10. 3330
  11. 3331
  12. 3332
  13. 3333
    Trabajo de grado de pregrado
    Published in 2019
    Repositorio Repositorio Institucional USTA

    Get full text
  14. 3334
  15. 3335
    Article of journal
    Published in 2010
    Repositorio Repositorio Institucional U. Caldas

    Get full text
  16. 3336
  17. 3337
  18. 3338
    Article of journal
    Published in 2010
    Repositorio Repositorio U. de Caldas

    Get full text
  19. 3339
  20. 3340