Logical Frameworks

Logical Frameworks

Editorial Reviews
Book Description
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Logical Frameworks,G. Huet,G. Plotkin,Cambridge University Press,0521413001,Automatic theorem proving,Computer Bks - Languages / Programming,Computer Books: General,Computer Logic,Frames (Information theory),Logic,Programming - General,Computers / Programming / Software Development,Mathematical theory of computation,Programming languages

Discount Books:

1. Measurements for Terrestrial Vegetation
2. Memory and Brain Dynamics: Oscillations Integrating Attention, Perception, Learning, and Memory
3. Methods in Renal Toxicology
4. Mineral and Metal Neurotoxicology
5. Minibeasts: The World of Invertebrates and Insects
6. Nonstandard Methods in the Calculus of Variations
7. Organic Nanophotonics (NATO Science Series II: Mathematics, Physics and Chemistry)
8. Oxygen/Nitrogen Radicals: Cell Injury and Disease (Developments in Molecular and Cellular Biochemistry)
9. Pattern Classification : A Unified View of Statistical and Neural Approaches
10. Petronia: Fifty Years of Post-Independence Ornithology in India : A Centenary Dedication to Dr. Salim Ali, 1896-1996

Discount Books

Recommended Books

1. Intelligent Skins
2. Zippy Ziggy Volume 1
3. September Song
4. Television Fundamentals
5. Telecommunications Regulation in the Netherlands
6. Sun
7. Spectral Imaging of the Atmosphere
8. Sakharov Remembered: A Tribute by Friends and Colleagues
9. The Duke And I
10. The Future of Religion
11. The Big Book of Fenton Glass, 1940-1970
12. The British and French Mandates in Comparative Perspectives/Les Mandats Francais Et Anglais Dans Une
13. The Gettysburg Nobody Knows
14. The Ecology of Place: Planning for Environment, Economy, and Community
15. Rick Steves' 2004 Provence & the French Riviera