Programação em lógica anotada: teoria e aplicações [thesis]

Daniela Vasconcelos Carbogim
doi:10.11606/d.45.1996.tde-20210729-012319 fatcat:wws2fcshfnd25mp7xbhlonogee