From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Enhanced Sequent Calculus for Reasoning in a Given Domain.

S. Bonamico, G. Cioni, и A. Colagrossi. DISCO, том 722 из Lecture Notes in Computer Science, стр. 369-373. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

An Approach to Class Reasoning in Symbolic Computation.G. Cioni, A. Colagrossi, и M. Temperini. DISCO, том 1128 из Lecture Notes in Computer Science, стр. 240-251. Springer, (1996)Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.C. Arbib, и G. Cioni. AIMSA, стр. 55-61. North-Holland, (1986)A Desk-Top Sequent Calculus Machine.G. Cioni, A. Colagrossi, и A. Miola. AISMC, том 737 из Lecture Notes in Computer Science, стр. 224-236. Springer, (1992)Embedding Flexible Control Strategies into Object Oriented Languages.S. Bonamico, и G. Cioni. AAECC, том 357 из Lecture Notes in Computer Science, стр. 454-457. Springer, (1988)An Enhanced Sequent Calculus for Reasoning in a Given Domain.S. Bonamico, G. Cioni, и A. Colagrossi. DISCO, том 722 из Lecture Notes in Computer Science, стр. 369-373. Springer, (1993)