Adriano Melo

158 Followers

14 SlideShares 158 Followers 5 Followings

14 SlideShares 158 Followers 5 Followings

description logic logic swrl semantic web dl protege lógica de descrições linux ufpe cinufpe git owl theorem prover ontology web semantic ontologias axioma da escolha axiom of choice física fisl motor de física verlet physics ubuntu debian rule language simpsons reasoning fact++ lógica método das conexões inteligencia artificial tg uni wsl cinlug open source revision control gatekeeper software livre ensol desenvolvimento aberto

See more

Activity
About

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

12 years ago • 533 Views

Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

12 years ago • 319 Views

git 101

12 years ago • 495 Views

Mini-curso de linux básico

12 years ago • 1962 Views

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

12 years ago • 1121 Views

Aula SWRL

12 years ago • 1024 Views

Linux Desktop (Campus Party Recife)

11 years ago • 607 Views

Apresentação FLOSS

11 years ago • 218 Views

FISL14 - Desmontando uma engine de física

10 years ago • 1609 Views

Mini-curso de Linux na CPRecife2

10 years ago • 489 Views

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

10 years ago • 582 Views

Aula sobre SWRL

10 years ago • 794 Views

leanCoR: lean Connection-based DL Reasoner

9 years ago • 639 Views

Trabalho de Graduação: Normalização de ontologias em lógica de descrições para o raciocínio com o provador de teoremas leanCoP

12 years ago • 514 Views

Design for developers

Johan Ronsse • 12 years ago

OO em Python sem sotaque

Luciano Ramalho • 12 years ago

description logic logic swrl semantic web dl protege lógica de descrições linux ufpe cinufpe git owl theorem prover ontology web semantic ontologias axioma da escolha axiom of choice física fisl motor de física verlet physics ubuntu debian rule language simpsons reasoning fact++ lógica método das conexões inteligencia artificial tg uni wsl cinlug open source revision control gatekeeper software livre ensol desenvolvimento aberto

See more