Jump to main content

yr 〜
yr

Search results 6

A formal basis for horn clause logic with external polymorphic functions

A formal basis for horn clause logic with external polymorphic functions
Paper図書
Staffan BonnierDepartment of Computer and Information Science, Linköping University1992
Other Libraries in Japan

Generalized algorithmic debugging

Generalized algorithmic debugging
Paper図書
Nahid ShahmehriDepartment of Computer and Information Science, Linköping University1991
Other Libraries in Japan

Non-monotonic inheritance for an object-oriented knowledge-base

Non-monotonic inheritance for an object-oriented knowledge-base
Paper図書
Lin PadghamDepartment of Computer and Information Science, Linköping University1989
Other Libraries in Japan

A paradigm and system for design of distributed systems

A paradigm and system for design of distributed systems
Paper図書
Johan FagerströmDepartment of Computer and Information Science, Linköping University1988
Other Libraries in Japan

Towards a many-valued logic of quantified belief

Towards a many-valued logic of quantified belief
Paper図書
Dimiter DriankovDepartment of Computer and Information Science, Linköping University1988
Other Libraries in Japan

A formal methodology for automated synthesis of VLSI systems

A formal methodology for automated synthesis of VLSI systems
Paper図書
Zebo PengDepartment of Computer and Information Science, Linköping University1987
Other Libraries in Japan

Reached to the end of result.

RSS