Вы здесь

Fitting M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Semantics for the Logic of Proofs 2004 Fitting M. Moscow Computer Sience School 2004 29.10.2004
СТ Annotated Revision Specification Programs 1995 Fitting M. Lecture Notes in Artificial Intelligence 06.07.1995
СТ Many-Valued Semantics for Logic Programming 1992 Fitting M. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994
СТ Stratified and Three-Valued Logic Programming Semantics 1988 Fitting M. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994
СТ Metric Methods in the Semantics of Logic Programs 1993 Fitting M. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Many-Valued Non-Monotonic Modal Logics 1992 Fitting M. Lecture Notes in Computer Science 05.08.1992