Knowledge Engineering with Semantic Web TechnologiesDr. Harald Sack
Este vídeo pertenece al curso Knowledge Engineering with Semantic Web Technologies de openHPI. ¿Quiere ver más? ¡Matricúlese gratis!

3.6 How to mechanize Reasoning - Tableaux Algorithm

Duración: aproximada 31 minutes
Está utilizando nuestro nuevo reproductor de vídeo. Si tiene algún problema, póngase en contacto con el servicio de asistencia. Siempre puede cambiar al reproductor antiguo.