VIAF

Virtual International Authority File

Search

Carreño, Victor A. Wikipedia (en)-test German National Library ISNI-test

Carreño, Victor A., 1956- Library of Congress/NACO Library and Archives Canada

VIAF ID: 10766565 (Personal)

Permalink: http://viaf.org/viaf/10766565

ISNI-test: 0000  0000  7867  361X 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close Section Selected Titles

  1. Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings ‎(1) Library of Congress/NACO
  2. TPHOLs 2002 (15th : 2002 : Hampton, Va.). Theorem proving in higher order logics, 2002: ‎(1) Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:10766565 (7)
http://viaf.org/viaf/10766565/
viaf.org
crawl=CC-MAIN-2014-23
30439
application/http; msgtype=response
sha1:QBHDUSCIOVYUVZOTGJZDTGXK5EBUJ5NQ
<urn:uuid:29e3c39c-710e-4bfd-ad69-6bcaf29c81fa>
2014-07-25T23:09:57Z
132.174.3.3
sha1:ZOFYLG3WB3KG5TZNMUUTZMWQZ2H3LCFJ
<urn:uuid:4ebcbe23-cbf2-458e-8829-274fccf1a115>
http://viaf.org/viaf/10766565/
length
response
<urn:uuid:385571cd-0bbf-410e-8145-f0a7ca363623>
robots: classic
hostname: ip-10-33-131-23.ec2.internal
software: Nutch 1.6 (CC)/CC WarcExport 1.0
isPartOf: CC-MAIN-2014-23
operator: CommonCrawl Admin
description: Wide crawl of the web with URLs provided by Blekko for July 2014
publisher: CommonCrawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf