CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 194
Titolo Data di pubblicazione Autore(i) File
Formalizzazione e teoria del linguaggio, 1-gen-1973 Manca, Vincenzo
Tecnologie Didattiche, all I.E.I. del C.N.R. di Pisa. 1-gen-1975 Andronico, A; Antonelli, S; Checcucci, V; Onesto, N; Manca, Vincenzo; Tucci, S.
Appunti di Algebre, Logica, Combinatoria 1-gen-1979 Antonelli, S.; Manca, Vincenzo
Logica pragmatica e formalizzazione linguistica 1-gen-1979 Manca, Vincenzo
Un sistema automatico per il trattamento di informazioni linguistiche 1-gen-1979 Graziadio, B.; Manca, Vincenzo; Morreale, E.
Risoluzione automatica di anafora e formalismi astratti per linguaggio naturale 1-gen-1981 Manca, Vincenzo; Morreale, E.
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 1-gen-1981 Manca, Vincenzo
Algebra universale e logica in computer science 1-gen-1982 Manca, Vincenzo; Salibra, A.
Logica 1-gen-1982 Antonelli, S.; Manca, Vincenzo; Salibra, A.
Logica del primo ordine 1-gen-1982 Antonelli, S.; Manca, Vincenzo; Salibra, V.
Note di Semantica Algebrica 1-gen-1983 Manca, Vincenzo
First order theories as many sorted algebras 1-gen-1984 Manca, Vincenzo; Salibra, A.
Specification of abstract data types by experiments 1-gen-1986 Manca, Vincenzo
From abstract data tapes to network calculi 1-gen-1986 Manca, Vincenzo; Scollo, G.
Soundness and completeness of the Birkhoff many-sorted equational calculus 1-gen-1987 Manca, Vincenzo; Salibra, A.
On the power of equational logic: applications and extensions 1-gen-1988 Manca, Vincenzo; Salibra, A.
Algebraic logic 1-gen-1988 Manca, Vincenzo; Salibra, A.
A deductive system extending Equational Logic with Type Assignment 1-gen-1989 Manca, Vincenzo; Salibra, A.; Scollo, G.
Semantica algebrica e denotazionale di linguaggi di programmazione 1-gen-1989 DE NICOLA, R.; Manca, Vincenzo; Montanari, U.; Turini, F.
On the nature of TELLUS 1-gen-1989 Manca, Vincenzo; Salibra, A.; Scollo, G.
Mostrati risultati da 1 a 20 di 194
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile