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)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Paperback, 1990 ed.):... COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Paperback, 1990 ed.)
Per Martin-Loef, Grigori Mints
R1,594 Discovery Miles 15 940
Add to cart
Ships in 10 - 15 working days

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Salton S1I260 Perfect Temperature Iron (1100w):
Salton S1I260 Perfect Temperature Iron…
R269 R252 Discovery Miles 2 520
Major Tech 10 Pack LED Lamp (5W)(GU10)(Cool White)(L2P-5C):
Major Tech 10 Pack LED Lamp…
R330 R265 Discovery Miles 2 650
Downton Abbey 2 - A New Era (Blu-ray disc): Hugh Bonneville, Maggie Smith
Downton Abbey 2 - A New Era
Hugh Bonneville, Maggie Smith Blu-ray disc  (1)
 R141 Discovery Miles 1 410
Homequip USB Rechargeable Clip on Fan (3 Speed):
Homequip USB Rechargeable Clip on Fan (3…
R450 R380 Discovery Miles 3 800
Die Wonder Van Die Skepping - Nog 100 Dagstukkies Oor God & Wetenskap (Afrikaans, Hardcover): Louie Giglio
Die Wonder Van Die Skepping - Nog 100…
Louie Giglio Hardcover R279 R210 Discovery Miles 2 100
Better Call Saul - Season 1 (Blu-ray disc): Bob Odenkirk, Jonathan Banks, Rhea Seehorn, Michael Mando, Patrick Fabian, Michael...
Better Call Saul - Season 1
Bob Odenkirk, Jonathan Banks, … Blu-ray disc  (1)
 R52 Discovery Miles 520
John C. Maxwell Undated Planner (Paperback):
John C. Maxwell Undated Planner
Paperback R399 R199 Discovery Miles 1 990
Michael Buble - Higher (CD): Michael Buble
Higher
Michael Buble CD  (1)
 R459 Discovery Miles 4 590
Discovering Daniel - Finding Our Hope In God's Prophetic Plan Amid Global Chaos (Paperback): Amir Tsarfati, Rick Yohn
Discovering Daniel - Finding Our Hope In…
Amir Tsarfati, Rick Yohn Paperback R280 R210 Discovery Miles 2 100
Canon 445 Black and 446 Tri-Colour Original Ink Cartridge Multipack - PG 445 / CL 446:
Canon 445 Black and 446 Tri-Colour…
R1,400 R660 Discovery Miles 6 600

 
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