Spara
COLOG-88
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
- Redaktör
- Per Martin-Löf, Grigori Mints
- Upplaga
- 1990 ed.
- ISBN
- 9783540523352
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1990-02-21
- Sidor
- 339
