Résumé de section

  • - Predicate logic
    - Semantic nets