Offering a compelling personal account of his life in architecture as an influential postmodern designer, architect-planner ...
Continue reading
This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques ...
Continue reading
This book examines social and medical responses to the disfigured face in early medieval Europe, arguing that the study of ...
Continue reading
The book contributes to the debate what role public policies play in stimulating national and regional economic growth. ...
Continue reading
this book would guide the siting of facilities, the book also shows the use of statistical tools for forecasting and analyzing ...
Continue reading
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
Continue reading
nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...
Continue reading
The remote mountain loch of Lochnagar is one of the most studied freshwater bodies in Europe. This book brings together knowledge ...
Continue reading
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Continue reading
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
Continue reading
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...
Continue reading
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
Continue reading
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue reading
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Continue reading
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Continue reading
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Continue reading
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Continue reading
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Continue reading
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Continue reading
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Continue reading