Normal view
MARC view
- Logic, Symbolic and mathematical
Logic, Symbolic and mathematical Congresses(Topical Term)
Machine generated authority record
Work cat.: (KE-NaSUL)100470: Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil) 139844, Advances in technological applications of logical and intelligent systems, c2009.