Genoveffa TORTORA | Pubblicazioni
Genoveffa TORTORA Pubblicazioni
1991 | |
Contributo in Atti di convegno | |
Testing Programs by Queries. In: SEKE '91: proceedings ; Software Engineering and Knowledge Engineering 3rd International Conference Skokie Pag.241-248 | |
The Third International Conference on Software Engineering and Knowledge Engineering Skokie June 27-29, 1991 | |
V., De Leo; Napoli, Margherita; Nota, Giancarlo; Tortora, Genoveffa | |
Versione online | |
Visualizza sul Database dei Prodotti (IRIS) |
1991 | |
Contributo in Atti di convegno | |
Notes on Legality Concepts for Logic Programs Using Three-valued Logic. In: GULP 91 - Atti del Convegno sulla Programmazione Logica Pag.1-10 | |
GULP 91 - Convegno sulla Programmazione Logica Pisa 12-14 Giugno 1991 | |
Nota, Giancarlo; S., Orefice; G., Pacini; Tortora, Genoveffa | |
Visualizza sul Database dei Prodotti (IRIS) |