Boyer, Robert S.
Boyer, R. S.
Robert S. Boyer American mathematician, computer scientist and philosopher
Boyer, Robert S., 19..-...., mathématicien
VIAF ID: 46821597 ( Personal )
Permalink: http://viaf.org/viaf/46821597
Preferred Forms
- 200 _ | ‡a Boyer ‡b Robert S.
-
-
-
-
- 100 1 _ ‡a Boyer, Robert S.
- 100 1 0 ‡a Boyer, Robert S.
- 100 1 _ ‡a Boyer, Robert S.
-
-
-
-
- 100 1 _ ‡a Boyer, Robert S.
- 100 1 _ ‡a Boyer, Robert S., ‡d 19..-...., ‡c mathématicien
- 100 0 _ ‡a Robert S. Boyer ‡c American mathematician, computer scientist and philosopher
4xx's: Alternate Name Forms (13)
5xx's: Related Names (3)
- 510 2 _ ‡a Internationales Begegnungs- und Forschungszentrum für Informatik
- 510 2 _ ‡a University of Texas at Austin
- 510 2 _ ‡a University of Texas at Austin ‡e Affiliation
Works
Title | Sources |
---|---|
Automated reasoning : essays in honor of Woody Bledsoe | |
Automation of proof by mathematical induction 24.07. - 28.07.95 | |
A computational logic handbook | |
The Correctness problem in computer science | |
A verification condition generator for fortran [microvorm] |