Dettaglio del documento Condividi Trova il documento in altre risorse ???scheda.servizi.button??? Copia link Il permalink è stato copiato, puoi utilizzarlo immediatamente.E’ sufficiente premere i tasti “Ctrl+v” per posizionarlo dove preferite. Twitter 3: Applications. - Dordrecht [etc.] : Kluwer, c1998. - XII, 334 p. ; 25 cm. Testo a stampa (moderno) 1998 Fa parte di Automated deduction : a basis for applications , 3 Scrivi una recensione e condividila con gli altri lettori. Dove lo trovo Scheda $currentBibFull Scegli una biblioteca Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Tutte le biblioteche https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00047312
