Filter by
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second Inte…
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universid…
- Edition
- 1
- ISBN/ISSN
- 9780262291378
- Collation
- -
- Series Title
- -
- Call Number
- -
Rewilding European Landscapes
Some European lands have been progressively alleviated of human pressures, particularly traditional agriculture in remote areas. This book proposes that this land abandonment can be seen as an opportunity to restore natural ecosystems via rewilding. We define rewilding as the passive management of ecological successions having in mind the long-term goal of restoring natural ecosystem processes.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12039-3
- Collation
- -
- Series Title
- -
- Call Number
- -
The convergent evolution of agriculture in humans and insects
"An edited collection about the evolution of agriculture in humans and insects"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262367572
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Foundational Issues in Linguistic Theory :Essays in Honor of Jean-Roger Vergn…
The essays in this volume attest to the importance of Verngaud's contribution to linguistics, particularly his influential work on foundational issues. The essays first discuss issues in syntax, documenting breakthroughs in the development of the principles and parameters framework.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262273152
- Collation
- 1 online resource (xxxii, 389 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming and non-monotonic reasoning :proceedings of the second inte…
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
- Edition
- -
- ISBN/ISSN
- 9780262291378
- Collation
- 1 online resource (vii, 494 pages) :illustrations
- Series Title
- -
- Call Number
- -
Progress in Artificial Intelligence; 17th Portuguese Conference on Artificial…
Sungguh luar biasa melihat kembalinya Konferensi Portugis tentang Kecerdasan Buatan ke Coimbra setelah 18 tahun, terutama dengan latar belakang pengakuan UNESCO baru-baru ini terhadap Universitas Coimbra dan sebagian kota sebagai situs warisan dunia. Pengakuan ini menyoroti sejarah kota yang kaya dalam menyebarkan pengetahuan di berbagai bidang, menjadikannya lokasi yang ideal untuk acara yang …
- Edition
- 9273
- ISBN/ISSN
- 978-3-319-23485-4
- Collation
- -
- Series Title
- Kecerdasan Buatan
- Call Number
- 006.3 PER p
Harmonic Analysis, Partial Differential Equations, Complex Analysis, Banach S…
Covering a range of subjects from operator theory and classical harmonic analysis to Banach space theory, this book contains survey and expository articles by leading experts in their corresponding fields, and features fully-refereed, high-quality papers exploring new results and trends in spectral theory, mathematical physics, geometric function theory, and partial differential equations. Grad…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-30959-0
- Collation
- XVI, 371
- Series Title
- -
- Call Number
- 510 HAN
Phase Transformation in Metals
This textbook explains the physics of phase transformation and associated constraints from a metallurgical or materials science point of view, based on many topics including crystallography, mass transport by diffusion, thermodynamics, heat transfer and related temperature gradients, thermal deformation, and even fracture mechanics. The work presented emphasizes solidification and related analy…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-49168-0
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Built upon Love: Architectural Longing after Ethics and Aesthetics
A vision of architecture that transcends concerns of form and function and finds the connections between the architect's wish to design a beautiful world and architecture's imperative to provide a better place for society. The forced polarity between form and function in considerations of architecture—opposing art to social interests, ethics to poetic expression—obscures the deep connect…
- Edition
- -
- ISBN/ISSN
- 9780262281409
- Collation
- -
- Series Title
- -
- Call Number
- -
Attunement: Architectural Meaning after the Crisis of Modern Science
How architecture can move beyond the contemporary enthusiasms for the technically sustainable and the formally dazzling to enhance our human values and capacities. Architecture remains in crisis, its social relevance lost between the two poles of formal innovation and technical sustainability. In Attunement, Alberto Pérez-Gómez calls for an architecture that can enhance our human values an…
- Edition
- -
- ISBN/ISSN
- 9780262333320
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography