Pauline Ruth

PR

Statistics

Publications

1

Citations

88

H-Index

1

Active since

1982

Pauline Ruth is an author specializing in automated reasoning, formal verification, and experimental psychology.

Publications per year

1982–1982

1

Publications

1