Вы здесь

Bonacina M. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Operational and Denotational Semantics of Rewrite Programs 1990 Bonacina M. P., Hsiang J. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Distibuted Deduction by Clause-Diffusion: the Aquarius Prover 1993 Bonacina M. P., Hsiang J. Lecture Notes in Computer Science 09.10.1993
СТ On Fairness in Distributed Automated Deduction 1993 Bonacina M. P., Hsiang J. Lecture Notes in Computer Science 06.04.1993