Gå direkt till innehållet
COLOG-88
Spara

COLOG-88

Lägsta pris på PriceRunner
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.
Undertitel
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Upplaga
1990 ed.
ISBN
9783540523352
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1990-02-21
Sidor
339