انتشارات Ios Pr Inc
Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002
Brazil) Congress of Logic Applied to Technology 2002 (Sao Paulo, 2002
Radiation Inactivation Of Bioterrorism Agents
L. G. Gazso, 2005
Collaborative Decision Making: Perspectives and Challenges
F. Ravat, 2008
Computational commutative and non-commutative algebraic geometry
Svetlana Cojocaru, 2005
Computational Commutative And Non-commutative Algebraic Geometry
Svetlana Cojocaru, 2005
Computational Models of Argument: Proceedings of COMMA 2006
P.E. Dunne, 2006
Computational Models of Argument: Proceedings of COMMA 2008
Philippe Besnard, 2008
Conditional and Preferential Logics: Proof Methods and Theorem Proving
G.L. Pozzato, 2010
Conditional and Preferential Logics: Proof Methods and Theorem Proving
G.L. Pozzato, 2010
Constraint Reasoning for Differential Models
J Cruz, 2005
Constraint Reasoning for Differential Models
J. Cruz, 2005
Cooperative Systems Design: A Challenge of the Mobility Age
Mireille Blay-Fornarino, 2002
Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
K. Nakamatsu, 2005
