Pragmatica de la sintesis de programas lógicos

Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones […]

, , , , ,