A computational logic / R. S. Boyer and J S. Moore

• Record Nr.: UNINA990000840700403321
• Autore: Boyer, Robert S.
• Pubbl/distr/stampa: New York : Academic Press, 1979
• ISBN: 0121229505
• Descrizione fisica: XIV, 397 p. ; 24 cm
• Collana: AMC monographs series
• Altri autori (Persone): Moore, J Strother
• Disciplina: 519.4
• Locazione: FINBN
• Collocazione: 02 50 B 13
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Il tempio d'Ercole di Sabratha / Giacomo Caputo, Francesca Ghedini

• Record Nr.: UNISALENTO991003120539707536
• Autore: Caputo, Giacomo
• Pubbl/distr/stampa: Roma : L'Erma di Bretschneider, [1984]
• Descrizione fisica: XVI, 200 p., [14] c. di tav. : ill. ; 29 cm
• Collana: Monografie di archeologia libica ; 19
• Altri autori (Persone): Ghedini, Francescaauthor
• Disciplina: 939
• Soggetti: Sabratha - Tempio antoniniano
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Self-consistent quantum-field theory and bosonization for strongly correlated electron systems / Rudolf Haussmann

• Record Nr.: UNISALENTO991004034619707536
• Autore: Haussmann, Rudolf
• Pubbl/distr/stampa: New York : Springer, 1999
• ISBN: 3540658122
• Descrizione fisica: viii, 175 p. : ill. ; 24 cm.
• Collana: Lecture notes in physics. New series m, Monographs ; m56; Lecture notes in physics. Monographs, 0940-7677 ; m56
• Classificazione: LC QC173.454; 510.53; 53.3.11
• Disciplina: 530.41
• Soggetti: Condensed matter; Quantum field theory; Fermions; Many-body problem
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.