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,523 Discovery Miles 15 230
Add to cart
Ships in 18 - 22 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...
Peptine Pro Equine Hydrolysed Collagen - Refill (500g):
Peptine Pro Equine Hydrolysed Collagen…
 (2)
 R359 R249 Discovery Miles 2 490
Davidoff Cool Water For Him Gift Set (2 Piece) - Parallel Import:
Davidoff Cool Water For Him Gift Set (2…
R727 Discovery Miles 7 270
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
Demeter Gin & Tonic Cologne (120ml) - Parallel Import (USA):
Demeter Gin & Tonic Cologne (120ml…
R923 R748 Discovery Miles 7 480
DR. Aquafine Travel Set (24 Colours) - Watercolour Paint Half Pans:
DR. Aquafine Travel Set (24 Colours…
 (2)
 R786 R693 Discovery Miles 6 930
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
Being There - Backstories From The Political Front (Paperback): Tony Leon
Being There - Backstories From The…
Tony Leon Paperback R350 R312 Discovery Miles 3 120
Downton Abbey 2 - A New Era (DVD): Hugh Bonneville, Maggie Smith
Downton Abbey 2 - A New Era
Hugh Bonneville, Maggie Smith DVD  (4)
 R255 R240 Discovery Miles 2 400
Lifespace 10-Piece Portable Camping Hiking Cook Set:
Lifespace 10-Piece Portable Camping…
R1,379 R659 Discovery Miles 6 590
Cable Guys Controller and Smartphone Holder - Coco (Crash Bandicoot):
Cable Guys Controller and Smartphone…
R433 Discovery Miles 4 330

 
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