VIAF

Virtual International Authority File

Search

International conference on automated deduction (18 : 2002 : Copenhague, Danemark) Sudoc [ABES], France

VIAF ID: 305304379 (Corporate)

Permalink: //viaf.org/viaf/305304379

Open Section Close Section Preferred Forms

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
Automated deduction CADE-18 : proceedings / Andrei Voronkov (Ed.), Springer, 2002 Sudoc [ABES], France

Open Section Close Section About

Open Section Close Section History of VIAF ID:305304379 (1)