-
M.V.S.P.de Aragao,
``Combining Algebraic and Enumerative Algorithms to Solve Maximizamum Satisfiability Problems'',
Tims XXXII,
Estados Unidos,
(1994).
-
M.C.C.Baranauskas e D.Weller,
``Extended Interfaces for Learning Enviroments Based on Simulation'',
W.Conference on Educational Multimedia and Hypermedia - Edmedia-94,
Canada,
(1994).
-
G.C.Magalhaes,
``The Development of Open Sustems for Enginnering Applications'',
International Conference on Automata Mapping/Facility Management,
Estados Unidos, 503-519,
(1994).
-
A.J.Catto, P.A.R.Lorenzo e M.Goto,
``Sequential Blocking on the MDFM'',
TOKAI-Section Convention Record of the Six Inst.of Elect.Rel.Eng,
Japao,
(1994).
-
M.V.A.Andrade, J.L.D.Comba e J.Stolfi,
``Affine Arithmetic'',
Interval'94-Int.Conf.on Interval and Comp.-Algebraic Meth.Sc.and Eng,
Russia, 36-40,
(1994).