First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-13 19:26:58Model theory Constraint programming Programming paradigms Type theory Data modeling Relational model Constraint satisfaction problem Subtype polymorphism Structure Logic Software engineering Mathematical logic | Add to Reading List |