01074nam--2200361---450-9900003452202033160034522USA010034522(ALEPH)000034522USA01003452220010226d1979----km-y0itay0103----baengUSA||||||||001yy<<A>> computational logicby Robert S. Boyer and Strother MooreNew YorkAcademic Pressc1979XIV, 397 p.23 cmACM Monograph Series2001ACM Monograph SeriesElaboratori elettroniciMetodi matematici519.4BOYER,Robert S.41253ITsalbcISBD990000345220203316001 ACM (1)4976 SM001 ACM00100715BKSCIPATTY9020010226USA011205PATTY9020010226USA01120720020403USA011642PATRY9020040406USA011624Computational logic878785UNISA00945cam2 22002653 450 SOBE0004423220140904143234.020140709d1923 |||||ita|0103 baitaIT<<1: >>Vittoria e Matilde Manzonimemoriedi Vittoria Giorgini-Manzonia cura di Michele ScherilloMilanoHoepli1923XVIII, 228 p., [13] c. di tav.ill., ritr.20cm001TWSOB000011872001 Manzoni intimoGIORGINI-MANZONI, VittoriaAF00024426070402696Scherillo, MicheleAF00023165070ITUNISOB20140904RICAUNISOBUNISOB850979SOBE00044232M 102 Monografia moderna SBNM850000538-1SI979rovitoUNISOBUNISOB20140709144859.020140709144920.0rovitoVittoria e Matilde Manzoni566660UNISOB