| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910788976503321 |
|
|
Titolo |
The origins of agriculture / / Charles A. Reed, editor |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
The Hague : , : Mouton, , [1977] |
|
©1977 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Reprint 2011] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (1064 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Agriculture - Origin |
Agriculture, Prehistoric |
Prehistoric peoples |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Papers prepared for the 9th International Congress of Anthropological and Ethnological Sciences, Chicago, 1973. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- General Editor's Preface -- Preface -- Introduction / REED, CHARLES A. -- SECTION ONE General Principles -- The Origins of Agriculture: Prologue / REED, CHARLES A. -- The Earliest Farming: Demography as Cause and Consequence / BRONSON, BENNET -- The Concept of Environmental Determinism in Cultural Evolution / WAGNER, PHILIP L. -- SECTION TWO Worldwide Concepts -- Cultural Evolution in the Old World and the New, Leading to the Beginnings and Spread of Agriculture / CALDWELL, JOSEPH R. -- A Hypothesis Suggesting a Single Origin of Agriculture / CARTER, GEORGE F. -- Population Pressure and the Origins of Agriculture: An Archaeological Example from the Coast of Peru / COHEN, MARK N. -- Alternative Pathways Toward Agriculture / HARRIS, DAVID R. -- Zoological Considerations on the Origins of Farming and Domestication / HERRE, WOLF / RÖHRS, MANFRED -- Environmental Change and the Origin of Agriculture in the Old and New Worlds / WRIGHT, HERBERT E. JR. -- SECTION THREE The Beginnings of Agriculture in the Old World -- A Priori Models and Thai Prehistory: A Reconsideration of the Beginnings of Agriculture in Southeastern Asia / GORMAN, CHESTER -- The Origins of Cereal Agriculture in the Old World / HARLAN, JACK R. -- Economic Change in Prehistoric Thailand / HIGHAM, CHARLES F. W. -- The Indigenous Origins of Chinese Agriculture / HO, PING-TI -- Pre-Agricultural Tools for the Preparation |
|
|
|
|
|
|
|
|
|
|
of Foods in the Old World / KRAYBILL, NANCY -- Man, Domestication, and Culture in Southwestern Asia / REDMAN, CHARLES L. -- A Model for the Origin of Agriculture in the Near East / REED, CHARLES A. -- Changing Economy in Ancient India -- The Dynamics of Agricultural Origins in Palestine: A Theoretical Model / HASSAN, FEKRI A. -- SECTION FOUR The Beginnings of Agriculture in the New World -- The Origin of Zea mays / BEADLE, GEORGE W. -- Why Didn't the American Indians Domesticate Sheep? / CARR, CHRISTOPHER -- The Metate: An Early Grain-Grinding Implement in the New World / CARTER, GEORGE F. -- Our Father the Cayman, Our Mother the Gourd: Spinden Revisited, or a Unitary Model for the Emergence of Agriculture in the New World / LATHRAP, DONALD W. -- The Beginning of Agriculture in Central Peru / MacNEISH, RICHARD S. -- Origins and Distribution of Plants Domesticated in the New World Tropics / PICKERSGILL, BARBARA / HEISER, CHARLES B. JR. -- Animal Domestication in the Anaes / WING, ELIZABETH S. -- Native Plant Husbandry North of Mexico / YARNELL, RICHARD A. -- SECTION FIVE Conclusions -- Origins of Agriculture: Discussion and Some Conclusions / REED, CHARLES A. -- SECTION SIX Appendix -- A Radiocarbon Chronology Relevant to the Origins of Agriculture / KABAKER, ADINA -- Biographical Notes -- Index of Names -- Index of Subjects |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910409673003321 |
|
|
Titolo |
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / / edited by Maurizio Gabbrielli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (270 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12042 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer engineering |
Computer networks |
Computer simulation |
Application software |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Computer Engineering and Networks |
Computer Modelling |
Computer and Information Systems Applications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Reversibilization in Functional and Concurrent Programming -- Horn clauses and tree automata for imperative program verification -- On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics -- A General Framework for Static Cost Analysis of Parallel Logic Programs -- Incremental Analysis of Logic Programs with Assertions and Open Predicates -- Computing Abstract Distances in Logic Programs -- Synthesizing Imperative Code from Answer Set Programming Specifications -- Verified Construction of Fair Voting Rules -- Solving Proximity Constraints -- A Certified Functional Nominal C-Unification |
|
|
|
|
|
|
|
|
|
|
|
Algorithm -- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming -- An Integrated Approach to Assertion-Based Random Testing in Prolog.-Trace analysis using an Event-driven Interval Temporal Logic -- The Prolog debugger and declarative programming -- A Port Graph Rewriting Approach to Relational Database Modelling -- Generalization-driven semantic clone detection in CLP -- Semi-Inversion of Conditional Constructor Term Rewriting Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation. |
|
|
|
|
|
|
|
| |