COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Series: Lecture Notes in Computer Science; 417;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 538 Ft off)
- Discounted price 18 152 Ft (17 287 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1990
- Publisher Springer
- Date of Publication 21 February 1990
- Number of Volumes 1 pieces, Book
- ISBN 9783540523352
- Binding Paperback
- No. of pages339 pages
- Size 233x155 mm
- Weight 1090 g
- Language English
- Illustrations VI, 339 p. 0
Categories
Short description:
This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western countries.
MoreLong description:
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.
Springer Book Archives
Table of Contents:
Algebraic specified processes and enumerable models.- On conditions of full coherence in biclosed categories: A new application of proof theory.- The use of justification systems for integrated semantics.- An equational deductive system for the differential and integral calculus.- Inductively defined types.- Algorithms for probabilistic inference.- Geometry of interaction 2: Deadlock-free algorithms.- On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.- ?-Reductions and ?-developments of ?-terms with the least number of steps.- Group-theoretic approach to intractable problems.- On some applications of Heyting-valued analysis II.- Mathematics of infinity.- Gentzen-type systems and resolution rules part I propositional logic.- On the problem of reducing search in logic program execution.- Correctness of short proofs in theory with notions of feasibility.- A formulation of the simple theory of types (for Isabelle).- On connections between classical and constructive semantics.- Flow-diagrams with sets.- The resolution program, able to decide some solvable classes.- A structural completeness theorem for a class of conditional rewrite rule systems.- A proof-search method for the first order logic.
More
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Subcribe now and receive a favourable price.
Subscribe
22 690 HUF
