Logic, Symbolic and mathematical (Término temático)

Machine generated authority record.

Work cat.: (UTC): Pita Andreu, María Isabel. 16562, Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura, 2003.