Meyer, Robert K.
Enlarge text Shrink text-
Personality
|
System number
987007429992005171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Meyer, Robert K.
Date of birth
1932-05-27
Date of death
2009-05-06
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- Thistlewaite, P.B. Auto. theorem proving in non-class. logics, 1988:CIP t.p. (Robert K. Meyer) pub. info. (Automated Reasoning Project, Australian National University)