Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

An introduction to the proof of properties of logic programs

Altro Prodotto di Ricerca
Data di Pubblicazione:
1985
Abstract:
Sommario non disponibile
Tipologia CRIS:
05.12 Altro
Keywords:
Introduction; Properties of logic programs
Elenco autori:
Asirelli, Patrizia
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/368714
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)