Вы здесь

Kifer M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Querying Object-Oriented Databases 1992 Kifer M., Kim W., Sagiv Y. SIGMOD Record 14.08.1992
СТ OSP: An Environment for Operating System Projects 1992 Kifer M., Smolka S. A. Operating Systems Review 25.11.1992
СТ Applications of Transaction Logic to Knowledge Representation 1994 Bonner A. J., Kifer M. Lecture Notes in Artificial Intelligence 11.08.1994
СТ Sorted HiLog: Sorts in Higher-Order Logic Data Languages 1995 Chen W., Kifer M. Lecture Notes in Computer Science 15.02.1995
СТ Deductive and Object Data Languages: A Quest for Integration 1995 Kifer M. Lecture Notes in Computer Science Deductive and Object-Oriented Databases 28.12.1995
СТ The State of Change: A Survey 1998 Bonner A. J., Kifer M. Lecture Notes in Computer Science 03.12.1998
СТ Results on Reasoning about Updates in Transaction Logic 1998 Bonner A. J., Kifer M. Lecture Notes in Computer Science 03.12.1998
СТ Reasoning about Anonymous Resources and Meta Statements on the Semantic Web 2003 Yang G., Kifer M. Lecture Notes in Computer Science 11.12.2003
СТ Inheritance and Rules in Object-Oriented Semantic Web Languages 2003 Yang G., Kifer M. Lecture Notes in Computer Science 26.12.2003

Редактор: