skip navigation

The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Meyer, Robert K.

URI(s)

http://id.loc.gov/authorities/names/n87938704

Identifies LC/NAF RWO

http://id.loc.gov/rwo/agents/n87938704

Identifies RWO

https://isni.org/isni/0000000063786478

Exact Matching Concepts from Other Schemes

http://viaf.org/viaf/sourceID/LC%7Cn++87938704#skos:Concept

Closely Matching Concepts from Other Schemes

Bob Meyer Label from public data source Wikidata

Sources

found: 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)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

1987-08-24: new
1987-09-22: revised

Alternate Formats