H ?
«
‹
←
→
›
»
Language peer sets for Sequel: United Kingdom↑ United Kingdom/0↑ Sequel(ID:2492/seq003)Theorem prover specification languagealternate simple viewCountry: United Kingdom U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp. Proc ICJAI 13. Structures: Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |