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...
Applied Time Series Analysis and Innovative Computing (Hardcover, 2010 ed.): Sio-Iong Ao
Applied Time Series Analysis and…
Sio-Iong Ao Hardcover R2,715 Discovery Miles 27 150
Research Handbook on Mergers and Acquisitions (Hardcover): Claire A. Hill, Steven Davidoff Solomon
Research Handbook on Mergers and…
Claire A. Hill, Steven Davidoff Solomon Hardcover R6,600 Discovery Miles 66 000
The King's Man (DVD): Ralph Fiennes, Gemma Arterton, Rhys Ifans, Djimon Hounsou
The King's Man
Ralph Fiennes, Gemma Arterton, … DVD R252 R227 Discovery Miles 2 270
Creative Computer Software for Strategic Thinking and Decision Making - A Guide for Senior Management and MIS Professionals...
Creative Computer Software for Strategic…
Robert J Thierauf Hardcover R2,548 Discovery Miles 25 480
The Challenge (Paperback): Danielle Steel
The Challenge
Danielle Steel Paperback  (1)
 R400 Discovery Miles 4 000
Honest Thief (DVD): Liam Neeson, Kate Walsh, Jai Courtney
Honest Thief
Liam Neeson, Kate Walsh, … DVD  (1)
 R187 Discovery Miles 1 870
Venom 2: Let There Be Carnage (DVD): Tom Hardy, Woody Harrelson, Michelle Williams, Naomie Harris
Venom 2: Let There Be Carnage
Tom Hardy, Woody Harrelson, … DVD R214 Discovery Miles 2 140
Dune: Part 1 (DVD): Timothee Chalamet, Rebecca Ferguson, Zendaya, Oscar Isaac, Josh Brolin, Dave Bautista, Jason Momoa
Dune: Part 1
Timothee Chalamet, Rebecca Ferguson, … DVD  (2)
 R276 Discovery Miles 2 760
Meg 2: The Trench (DVD): Jason Statham
Meg 2: The Trench
Jason Statham DVD R230 Discovery Miles 2 300
Bastille - Give Me The Future (CD): Bastille
Give Me The Future
Bastille CD R311 Discovery Miles 3 110

 
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