VIAF

Virtual International Authority File

Search

Pfenning, Frank. National Library of the Netherlands-test Wikipedia (en) NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO

Pfenning, F. ISNI-test

VIAF ID: 49903263 (Personal)

Permalink: http://viaf.org/viaf/49903263

ISNI-test: 0000  0001  1762  6446 

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-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings xR Extended Titles-test
Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Term rewriting and applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Types in logic programming Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:49903263 (14)