IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Lecture Notes in Artificial Intelligence

Extending Horn Clause Theories by Reflection Principles

LANZARONE, GAETANO AURELIO
1994-01-01

Abstract

Lecture Notes in Artificial Intelligence
1994
MACNISH C.; PEARCE D.; PEREIRA L.M. EDITORS
Logics in Artificial Intelligence
838
400
413
Springer-Verlag
Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
268
none
Contributo specifico in volume::Capitolo di Libro
info:eu-repo/semantics/bookPart
3
Capitolo di 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/11383/5463
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact