Advanced Search
Results: Displaying 10 of 100 on page 1 of 10
Name
Title
Area
Document
Colleges
Year
Belief revision in ACTL using bounded model checking
Empirical Analysis of Belief Base Revision Algorithms
Revision of temporal beliefs
Belif revision in description logics - a Plug-in for Protégé
Belief revision in description logics and other non-classical logics
Avaliação dos efeitos modulatórios e mecanismos do fragmento sintético de leptina...
Faunistic analysis of Saturniidae (Insecta, Lepidoptera) in a fragment of Atlantic...
Restoration of a forest remnant using agroforestry
The romantic fragment in O poema do frade
Regeneration trajectory in a degraded semideciduous seasonal forest fragment submitted...
Results: Displaying 10 of 100 on page 1 of 10