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
R3,040 R2,568 Discovery Miles 25 680 Save R472 (16%)
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...
Your Future Self Will Thank You - Secrets To Self-Control From The Bible And Brain Science (Paperback): Drew Dyck
Your Future Self Will Thank You…
Drew Dyck Paperback R372 R350 Discovery Miles 3 500
Self- and Social-Regulation - The Development of Social Interaction, Social Understanding, and Executive Functions (Hardcover):...
Self- and Social-Regulation - The…
Bryan Sokol, Ulrich Muller, … Hardcover R2,606 Discovery Miles 26 060
Practical Feelings - Emotions as Resources in a Dynamic Social World (Hardcover): Marci D. Cottingham
Practical Feelings - Emotions as…
Marci D. Cottingham Hardcover R2,436 Discovery Miles 24 360
Theater(s) and Public Sphere in a Global and Digital Society, Volume 1 - Theoretical Explorations (Hardcover): Ilaria Riccioni
Theater(s) and Public Sphere in a Global…
Ilaria Riccioni Hardcover R4,651 Discovery Miles 46 510
Together - The Healing Power Of Human Connection In A Sometimes Lonely World (Paperback): Vivek H. Murthy
Together - The Healing Power Of Human…
Vivek H. Murthy Paperback R450 R420 Discovery Miles 4 200
Social Emotions in Nature and Artifact (Hardcover): Jonathan Gratch, Stacy Marsella
Social Emotions in Nature and Artifact
Jonathan Gratch, Stacy Marsella Hardcover R3,466 Discovery Miles 34 660
Human Relations - The Art and Science of Building Effective Relationships (Loose-leaf, 2nd edition): Vivian Mccann
Human Relations - The Art and Science of…
Vivian Mccann Loose-leaf R948 Discovery Miles 9 480
What's Normal? - Reconciling Biology and Culture (Hardcover): Allan V. Horwitz
What's Normal? - Reconciling Biology and…
Allan V. Horwitz Hardcover R3,572 Discovery Miles 35 720
Dark Psychology - Uncover the Secrets to Defend Yourself Against Mind Control, Deception, Brainwashing, and Covert NLP. Master...
Dark Psychology - Uncover the Secrets to…
Robert Goleman Hardcover R741 Discovery Miles 7 410
Assertiveness for Men - Stop Being a Pushover and Learn to Say No by Using These Proven Techniques (Hardcover): John Adams
Assertiveness for Men - Stop Being a…
John Adams Hardcover R429 R400 Discovery Miles 4 000

 
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