Per Martin-Löf – författare
Visar alla böcker från författaren Per Martin-Löf. Handla med fri frakt och snabb leverans.
1 produkter
COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Av Per Martin-Löf, Grigori Mints
Häftad, 1990
551 kr
Lägg i varukorg
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 …
