IRIS

Proietti, M., Pettorossi, A. (1990). Synthesis of eureka predicates for developing logic programs. In N. Jones (a cura di), ESOP '90: 3rd European Symposium on programming: Copenhagen, Denmark, May 15–18, 1990: Proceedings (pp. 306-325). Springer [10.1007/3-540-52592-0_71].

Synthesis of eureka predicates for developing logic programs

PETTOROSSI, ALBERTO
1990-01-01
1990
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Rilevanza internazionale
Capitolo o saggio
Proietti, M., Pettorossi, A. (1990). Synthesis of eureka predicates for developing logic programs. In N. Jones (a cura di), ESOP '90: 3rd European Symposium on programming: Copenhagen, Denmark, May 15–18, 1990: Proceedings (pp. 306-325). Springer [10.1007/3-540-52592-0_71].
Proietti, M; Pettorossi, A
Contributo in libro
03 - Contributo in libro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/92448
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact