This VIAF Cluster has been deleted. It is no longer part of VIAF.
Pfenning, Frank. | Automated Deduction - CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
VIAF ID: 314020503
(
Unknown Name Type
)
Permalink: http://viaf.org/viaf/314020503
4xx's: Alternate Name Forms (1)
- 400 1 _
‡a
Pfenning, Frank.
‡t
Automated Deduction - CADE-21
History of VIAF ID:314020503 (1)
Record ID
|
Action
|
Time
|
XR|VIAFWORK155834303
|
add |
2015-02-16T15:07:12+00:00 |