This 1991 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 its 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
