Вы здесь

Bonner A. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Querying Sequence Databases with Transducers 2000 Bonner A. J., Mecca G. Acta Informatica 12.02.2000
СТ 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
СТ Transaction Datalog: A Compositional Language for Transaction Programming 1998 Bonner A. J. Lecture Notes in Computer Science 22.08.1998
СТ Adding Negation-as-Failure to Intuitionistic Logic Programming 1990 Bonner A. J., Mccarthy L. T. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Applications of Transaction Logic to Knowledge Representation 1994 Bonner A. J., Kifer M. Lecture Notes in Artificial Intelligence 11.08.1994