H ?
«
‹
←
→
›
»
Language peer sets for Tempora:
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Tempora(ID:7115/tem010)
alternate simple view
Designed 1990
References:
Loucopoulos, P., Mcbrien, P., Persson, U., Schumac (1990) Loucopoulos, P., Mcbrien, P., Persson, U., Schumacker, F., and Vasey, P. "TEMPORA - Integrating database technology, rule based systems and temporal reasoning for effective software" in Esprit '90 Conference Proceedings. Kluwer Academic, Dordrecht, Holland 1990
Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304
Extract:
Tempora
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|