1.
|
On the implementation of the belief change operators Falappa, Marcelo Alejandro - Fermé, Eduardo L.
|
2.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
3.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
4.
|
A influência da análise multivariada no processo de descoberta de conhecimento em bases de dados Steiner, María Teresinha Arns - Soma, Nei Yoshihiro - Shimizu, Tamio - Nievola, Julio César - Neto, Pedro José Steiner
|
5.
|
The dynamics of knowledge in international strategic alliances : a longitudinal study of service firms Martin de Holan, Pablo.
|
6.
|
Gestão da comunicação e gestão do conhecimento em C&T: a Embrapa Meio Ambiente. LIMA, E. de S.
|
7.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
8.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
9.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
10.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|