Visit our Christmas Gift Finder
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Lecture Notes in Computer Science 417 (Paperback)
  • COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Lecture Notes in Computer Science 417 (Paperback)
zoom

COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Lecture Notes in Computer Science 417 (Paperback)

(editor), (editor)
£59.99
Paperback 339 Pages / Published: 21/02/1990
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540523352
Number of pages: 339
Weight: 1090 g
Dimensions: 233 x 155 x 18 mm
Edition: 1990 ed.

You may also be interested in...

Modelling Computing Systems
Added to basket
A First Course in Coding Theory
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Numerical Recipes 3rd Edition
Added to basket
The Lattice Boltzmann Equation
Added to basket
Cryptanalysis
Added to basket
Automata and Computability
Added to basket
Discrete Mathematics
Added to basket
The Art of Computer Programming
Added to basket
The Algorithm Design Manual
Added to basket
Foundation Mathematics
Added to basket
Concrete Mathematics
Added to basket
Data Analysis with Open Source Tools
Added to basket
The Elements of Statistical Learning
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.