Normal view
MARC view
Azevedo, Francisco. (Personal Name)
Machine generated authority record.
Work cat.: (MY-SjTCS)67801: Azevedo, Francisco., Constraint solving over multi-valued logics, c2003.