Gå direkte til innholdet
COLOG-88
Spar

COLOG-88

623,-
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.
Undertittel
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Opplag
1990 ed.
ISBN
9783540523352
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.2.1990
Antall sider
339