Formal methods. An introductions to symbolic logic and to the study of effective operations in arithmetic and logic / by Beth E.W.

• Record Nr.: UNINA990001134610403321
• Autore: Beth, Evert Willem
• Pubbl/distr/stampa: Dordrecht (NL) : Reidel, 1962
• Collana: Synthese Library
• Locazione: MA1
• Collocazione: C-25-(4
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Accelerated aging of preservative-treated structural plywood / / C. Adam Senalik [and four others]

• Record Nr.: UNINA9910712004503321
• Autore: Senalik C. Adam
• Pubbl/distr/stampa: Madison, WI : , : United States Department of Agriculture, Forest Service, Forest Products Laboratory, , 2017
• Descrizione fisica: 1 online resource (17 pages) : illustrations (some color)
• Collana: Research paper FPL-RP ; ; 691
• Soggetti: Plywood - Testing; Moisture; Temperature; Loads (Mechanics); Flexure; Shear (Mechanics); Plywood - Preservation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "July 2017."
• Nota di bibliografia: Includes bibliographical references (pages 10-13).