Log in
www.springer.com
The European Mathematical Society
Navigation
Main page
Pages A-Z
StatProb Collection
Recent changes
Current events
Random page
Help
Project talk
Request account
Tools
Special pages
Printable version
Namespaces
Special page
Variants
Views
Actions
Search results
Jump to:
navigation
,
search
Search
Result
1
of
1
Content pages
Multimedia
Everything
Advanced
Boyer-Moore theorem prover
...), Allegro (Franz), Lucid, and Macintosh. There are no operating system or
dialect
conditionals, so the code may well run in other implementations of Common L
5 KB (832 words) - 18:51, 24 March 2012