Nel mondo delle grotte / di Gualtiero Laeng

• Record Nr.: UNINA990007491530403321
• Autore: Laeng, Gualtiero
• Pubbl/distr/stampa: Brescia : La scuola, [1952]
• Descrizione fisica: 64 p. : ill. ; 23 cm
• Collana: Scienza e lavoro : quaderni di divulgazione scientifica
• Locazione: ILFGE
• Collocazione: B-04-076
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Higher-order algebra, logic, and term rewriting : second International workshop, HOA'95 Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [et al.] (eds.)

• Record Nr.: UNISA990000206330203316
• Autore: International workshop HOA'95 : 2. : 1995
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61254-8
• Descrizione fisica: 287 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1074
• Disciplina: 0066
• Collocazione: 001 LNCS (1074)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia