VIAF

Virtual International Authority File

Search

Pfenning, Frank. NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO

Pfenning, F. ISNI

Frank Pfenning Wikidata

VIAF ID: 49903263 (Personal)

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

ISNI: 0000  0001  1762  6446 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings Sudoc [ABES], France Library of Congress/NACO
CADE-21 Library of Congress/NACO
CADE-twenty-one Library of Congress/NACO
FOSSACS 2013 National Library of the Netherlands
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings National Library of the Netherlands Sudoc [ABES], France
Generative Programming and Component Engineering Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
GPCE 2003 National Library of the Netherlands
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
RTA 2006 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 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 (16)