Schmitt S.

Автор:

Вид	Название	Год	Автор	Источник	Дата поступления
СТ	On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs	1995	Schmitt S., Kreitz C.	Lecture Notes in Artificial Intelligence	02.06.1995
СТ	Guiding Program Development Systems by a Connection Based Proof Strategy	1996	Kreitz C., Otten J., Schmitt S.	Lecture Notes in Computer Science	30.03.1996
СТ	A Multi-level Approach to Program Synthesis	1998	Bibel W., Korn D., Kreitz C., Kurucz F., Otten J., Schmitt S., Stolpmann G.	Lecture Notes in Computer Science	14.10.1998
СТ	MetaPRL - A Modular Logic Environment	2004	Hickey J., Nogin A., Constable R. L., Aydemir B. E., Barzilay E., Beynkhov Y., Eaton R., Cranicz A., Kopylov A., Kreitz Ch., Krupski V. M., Lorigo L., Schmitt S., Witty C., Yu X.	Moscow Computer Sience School 2004	29.10.2004