Visualizzazione normale Vista MARC Visualizzazione ISBD

Deduzione analitica classica, significato degli operatori logici e complessità Semantica, Complessita' e Linguaggio Naturale

Per: Collaboratore(i): Lingua: ITALIANO Dettagli di pubblicazione: BOLOGNA; Clueb; 1991 [1° Ed.:1991 - Ed.Ling.Originale:1991]Edizione: 1a edDescrizione: "37 p. (prefazione: no ; testo: 37 [pagine: 21-57])"Soggetto(i):
Tag da questa biblioteca: Nessun tag per questo titolo da questa biblioteca. Esegui l'autenticazione per aggiungere tag.
La tua valutazione
    Punteggio medio: 0.0 (0 voti)
Dati di copia
Immagine di copertina Tipo di copia Biblioteca corrente Biblioteca di appartenenza Serie Collocazione a scaffale Collocazione Dati materiali Info sul volume URL Numero copia Status Note Data di restituzione Codice a barre Prenotazioni copia Priorità in coda prenotazioni della copia Testi per i corsi
LIBRO SPICS-MEDIATECA B4343 (Scorri lo scaffale(Apre sotto)) Not For Loan Progressivo inserimento: 7004 / N. Volumi: 0 [=Contributo] Copie: 1 / data import: 1 marzo 2013 - By Epidotti, Trombetti, Vaglietti.
Totale prenotazioni: 0

Principio di Estensione Conservativa. Tablaux Non Sono una Soluzione. Sistema Ke. completezza del Ke. Proprietà della Sottoformula in Ke. Ke/Refutazioni Sono una Soluzione. Complessità Relativa delle Dimostrazioni.

Non ci sono commenti su questo titolo.

per inserire un commento.
CREDITS: SOCIETA' SAN PAOLO Via A.Severo, 58 - ROMA (RM) & PERIODICI SAN PAOLO SRL Via Giotto, 36 MILANO & CISF Via Giotto, 36 MILANO & EDIZIONI SAN PAOLO SRL,  Piazza Soncino, 5 CINISELLO BALSAMO (MI) -- ITALY