| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910453974703321 |
|
|
Titolo |
American nursing [[electronic resource] ] : a biographical dictionary . Volume 3 / / Vern L. Bullough, Lilli Sentz, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Springer, 2000 |
|
|
|
|
|
|
|
ISBN |
|
1-281-81314-1 |
9786611813147 |
0-8261-1747-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (324 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
BulloughVern L |
SentzLilli |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Nurses - United States |
Nursing - United States |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Contributors; Acknowledgments; Introduction; THE NURSES; INDEXES |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
From the frontier to the university, this exciting collection traces the development of the nursing profession through the biographies of individual nurses since 1925 that helped to create its unique history. Among the notable nurses featured in this volume are Faye Abdellah, Virginia Henderson, Margaret Kerr, Thelma Schorr, and many more. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910798258903321 |
|
|
Autore |
Hofman Corinne L. |
|
|
Titolo |
Saba's first inhabitants : a story of 3300 years of Amerindian occupation prior to European contact (1800 BC-AD 1492) / / Corinne L. Hofman & Menno L.P. Hoogland |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden : , : Sidestone Press, , [2016] |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (116 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Indians - Saba - History |
Saba Antiquities |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
FOREWORD; PREFACE; 1. SABA, AN ISOLATED ISLAND?; 2. PRE-COLONIAL HISTORY OF SABA; 3. ISLAND LIFE 3800 YEARS AGO; 4. FISHERS, COLLECTORS, FORAGERSAND HORTICULTURALISTS; 5. ARCHAEOLOGICAL SITES ON SABABEFORE 1492; SABARC; GLOSSARY; RECOMMENDED BIBLIOGRAPHY |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910592979603321 |
|
|
Titolo |
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (441 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13468 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Logic |
Artificial intelligence |
Programming languages (Electronic computers) |
Natural language processing (Computer science) |
Computers |
Compilers (Computer programs) |
Artificial Intelligence |
Programming Language |
Natural Language Processing (NLP) |
Computer Hardware |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Proof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning.-Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic -- Programming logic -- Model checking -- Type theory -- Lambda calculus -- Semantics of programming languages -- Computational linguistics.-Language and computation -- Logic and language. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic. |
|
|
|
|
|
|
|
| |