H ?
«
‹
←
→
›
»
Language peer sets for LML: Designed 1990 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ LML(ID:1565/lml002)alternate simple viewDesigned 1990 Published: 1990 Logical ML. Adds to Lazy ML a data type of 'theories' whose objects represent logic programs. Structures: References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |