Arithmetic, proof theory and computational complexity

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/347522273#Topic/preuve_theorie_de_la
http://id.worldcat.org/fast/1078942
http://experiment.worldcat.org/entity/work/data/347522273#Topic/symbolische_logica
http://experiment.worldcat.org/entity/work/data/347522273#Topic/demostracio_teoria_de_la
http://experiment.worldcat.org/entity/work/data/347522273#Topic/complexite_de_calcul_informatique
http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_de_la_demonstration
http://id.worldcat.org/fast/871991
http://experiment.worldcat.org/entity/work/data/347522273#Topic/aufsatzsammlung
http://experiment.worldcat.org/entity/work/data/347522273#Topic/beweistheorie
http://experiment.worldcat.org/entity/work/data/347522273#Topic/complexitat_de_calcul
http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_nombre
http://id.loc.gov/authorities/subjects/sh85029473
http://experiment.worldcat.org/entity/work/data/347522273#Topic/complexite
http://experiment.worldcat.org/entity/work/data/347522273#Topic/mathematics
http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_demonstration
http://experiment.worldcat.org/entity/work/data/347522273#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/347522273#Topic/berechnungskomplexitat
http://experiment.worldcat.org/entity/work/data/347522273#Topic/recursie
http://experiment.worldcat.org/entity/work/data/347522273#Topic/datenverarbeitung
http://experiment.worldcat.org/entity/work/data/347522273#Topic/algoritmen
http://id.loc.gov/authorities/subjects/sh85107437
http://experiment.worldcat.org/entity/work/data/347522273#Topic/bewijstheorie
http://experiment.worldcat.org/entity/work/data/347522273#Topic/arithmetik
http://experiment.worldcat.org/entity/work/data/347522273#Topic/beschrankte_arithmetik_beweistheorie_berechnungskomplexitat_aufsatzsammlung
http://experiment.worldcat.org/entity/work/data/347522273#Topic/komplexitatstheorie

http://schema.org/contributor

http://worldcat.org/entity/person/id/2634376160
http://worldcat.org/entity/person/id/2629530385
http://worldcat.org/entity/person/id/2634897210

http://schema.org/creator

http://worldcat.org/entity/person/id/2629530385

http://schema.org/editor

http://worldcat.org/entity/person/id/2629530385
http://worldcat.org/entity/person/id/2634897210

http://schema.org/name

"Arithmetic, proof theory and computational complexity"
"Arithmetic, proof theory, and computational complexity : [workshop from June 1 - June 30, 1990 at the University of California at San Diego and from June 15 - July 15, 1991 at the Mathematical Institute of the Czechoslovak Academy of Sciences and the Charles University in Prague : during each workshop, there was a 3 day international conference, the San Diego conference from June 25-27, 1990, the conference held in Prague from July 2-5, 1991]"
"Arithmetic, proof theory, and computational complexity"

http://schema.org/workExample

http://www.worldcat.org/oclc/849008693
http://www.worldcat.org/oclc/27070235
http://www.worldcat.org/oclc/911289696
http://www.worldcat.org/oclc/463723602
http://www.worldcat.org/oclc/39235127
http://www.worldcat.org/oclc/803424106
http://www.worldcat.org/oclc/260196095
http://www.worldcat.org/oclc/889349556
http://www.worldcat.org/oclc/804028137
http://www.worldcat.org/oclc/488617976
http://www.worldcat.org/oclc/256746946

Algoritmen.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Algoritmen."