VIAF

Virtual International Authority File

Search

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

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 Section Selected Titles

  1. Types in logic programming, c1992: ‎(2) Library of Congress/NACO
  2. Term rewriting and applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings ‎(2) National Library of the Netherlands-test Library of Congress/NACO
  3. Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  4. Generative programming and component engineering : second international conference, GPCE 2003, Erfurt, Germany, September 22-35, 2003 : proceedings ‎(2) National Library of the Netherlands-test
  5. GPCE 2003 ‎(2) National Library of the Netherlands-test
  6. Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings ‎(2) Sudoc [ABES], France Library of Congress/NACO
  7. Twenty-first International Conference on Automated Deduction ‎(1) Library of Congress/NACO
  8. Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings ‎(1) Sudoc [ABES], France
  9. RTA 2006 ‎(1) Library of Congress/NACO
  10. Logic programming and automated reasoning ‎(1) NUKAT Center of Warsaw University Library

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 (4)

Open Section Close Section About

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