leanCoR: lean Connection-based DL Reasoner

il y a 9 ans 639 Vues

Aula sobre SWRL

il y a 10 ans 794 Vues

O axioma da escolha (the axiom of choice) - incomplete

il y a 10 ans 582 Vues

Mini-curso de Linux na CPRecife2

il y a 10 ans 489 Vues

FISL14 - Desmontando uma engine de física

il y a 10 ans 1609 Vues

Apresentação FLOSS

il y a 11 ans 218 Vues

Linux Desktop (Campus Party Recife)

il y a 11 ans 607 Vues

Aula SWRL

il y a 12 ans 1024 Vues

Protégé: Lógica de descrições na pratica!

il y a 12 ans 1121 Vues

Mini-curso de linux básico

il y a 12 ans 1962 Vues

git 101

il y a 12 ans 495 Vues

git: o primeiro passo do seu projeto de código aberto

il y a 12 ans 533 Vues