|
Showing 1 - 2 of
2 matches in All Departments
Proceedings of the International Symposium on the Semantics of Data
Types.
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.
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.