0
Your cart
![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
|
You may like...
Neo-Impressionist Painters - A…
Russell T. Clement, Annick Houze
Hardcover
Advances in Communication Systems and…
J. Jayakumari, George K. Karagiannidis, …
Hardcover
R5,328
Discovery Miles 53 280
Forgotten Warriors - Combat Art from…
Dennis L. Noble
Hardcover
Terahertz Technology - Fundamentals and…
Ali Rostami, Hassan Rasooli, …
Hardcover
R4,039
Discovery Miles 40 390
Surrogate Modeling For High-frequency…
Slawomir Koziel, Anna Pietrenko-Dabrowska
Hardcover
R3,774
Discovery Miles 37 740
|