Considerazioni sulla violenza / Georges Sorel ; pref. Enzo Santarelli ; con una introduzione di Benedetto Croce alla prima edizione

• Record Nr.: UNISOBE600200041133
• Autore: Sorel, Georges
• Pubbl/distr/stampa: Bari, : Laterza, 1970
• Descrizione fisica: 382 p. ; 18 cm
• Collana: Universale Laterza ; 147
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Types in logic programming / edited by Frank Pfenning

• Record Nr.: UNISANNIORMS1740935
• Pubbl/distr/stampa: Cambridge (Mass.), : The MIT press, ©1992
• ISBN: 0262161311
• Descrizione fisica: XVIII, 357 p. ; 24 cm
• Collana: Logic programming
• Disciplina: 005.1; 005.115
• Soggetti: Programmazione logica; Elaboratori elettronici - Programmazione
• Collocazione: SALA DING 005.1 TYPILP
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliografia: P. 333-357.