Lectures on automated theorem proving von Bonacina, Maria Paola

LOGIC, un interprete Prolog con una relazione di uguaglianza von Benassi, Liana, Bonacina, Maria Paola, Fiori, Gianfranca

Petri nets for knowledge representation von Bonacina, Maria Paola

First result on parallel execution of sequential programs through communication of partial evaluations von Bonacina, Maria Paola

An implementation of the Knuth-Bendix algorithm von Bonacina, Maria Paola

Data-flow Knuth-Bendix algorithm as inferential engine on term rewriting systems von Bonacina, Maria Paola

A theorem proving review for proof system based programming von Bonacina, Maria Paola

Sette note di architettura esperienze del progettare contemporaneo

Weitere Verfasser: