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 1: Foundations, calculi and methods. - Dordrecht <etc.> : Kluwer, c1998. - XX, 480 p. ; 25 cm. Testo a stampa (moderno) 1998 Fa parte di Automated deduction : a basis for applications , 1 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/RMS00047299