Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Logical Frameworks (Hardcover, New): Gerard Huet, G. Plotkin Logical Frameworks (Hardcover, New)
Gerard Huet, G. Plotkin
R2,677 Discovery Miles 26 770
Add to cart
Ships in 10 - 15 working days

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.

Semantics of Data Types - International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Paperback, 1984... Semantics of Data Types - International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Paperback, 1984 ed.)
G Kahn, D. B MacQueen, G. Plotkin
R1,439 Discovery Miles 14 390
Add to cart
Ships in 18 - 22 working days

Proceedings of the International Symposium on the Semantics of Data Types.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R899 Discovery Miles 8 990
Coolermaster HTK-002 High Performance Thermal Grease:
Coolermaster HTK-002 High Performance…
 (1)
 R54 Discovery Miles 540
OneRepublic - Oh My My (CD): OneRepublic
Oh My My
OneRepublic CD  (4)
 R143 R122 Discovery Miles 1 220
Dreambaby 9cm Extension - Liberty - White:
Dreambaby 9cm Extension - Liberty…
R365 R259 Discovery Miles 2 590
Mary Poppins Returns - Original Motion Picture Soundtrack (CD):
Mary Poppins Returns - Original Motion…
CD R270 Discovery Miles 2 700
Pigeon K868 Anti-Bacterial Baby Wipes (60's):
Pigeon K868 Anti-Bacterial Baby Wipes…
 (5)
 R82 Discovery Miles 820
Sharp EL-W506T Scientific Calculator (Black):
Sharp EL-W506T Scientific Calculator…
R599 R560 Discovery Miles 5 600
Amsterdam (DVD): Christian Bale, Margot Robbie, John David Washington, Chris Rock, Zoe Saldana, Mike Meyers, Taylor Swift, Rami...
Amsterdam
Christian Bale, Margot Robbie, … DVD R210 Discovery Miles 2 100
Elegant Choker Necklace:
Elegant Choker Necklace
R570 R399 Discovery Miles 3 990
Tower Pet Vinyl Sticker (Love):
Tower Pet Vinyl Sticker (Love)
R66 R54 Discovery Miles 540

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners