Electronic Books

Total Books: 2341 - 2360 /4224

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...

Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...

Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of ...

Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...

This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...

This book takes an in-depth look at Louisiana as a state which is ahead of the curve in terms of extreme weather events, ...

This book offers low-cost and rapid molecular assays for the characterization of mutant plant germplasm. Detailed protocols ...

Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Monitor and ...

Computed tomography (CT) is the most rapidly evolving medical imaging technology. This book describes current examination ...

This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...

Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...

This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...

Total Books: 2341 - 2360 /4224