Dettaglio del documento Share Find the document in other resources ???scheda.servizi.button??? Copia link The permalink has been copied, you can use it immediately.Just press Ctrl+v keys to put it where you prefer. Twitter 3: Applications. - Dordrecht [etc.] : Kluwer, c1998. - XII, 334 p. ; 25 cm. Testo a stampa (moderno) 1998 Part of Automated deduction : a basis for applications , 3 Write a review and share it with other readers. Find it at Details $currentBibFull Choose a library Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica All libraries https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00047312?locale=eng
