Вы здесь

Waldinger R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Annotation-Based Deduction in Temporal Logic 1994 Mcguire H., Manna Z., Waldinger R. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Program Synthesis for Multi-agent Question Answering 2003 Waldinger R., Jarvis P., Dungan J. Lecture Notes in Computer Science 26.03.2004
М The Logical Basis for Computer Programming 1985 Manna Z., Waldinger R. 30.01.1987