Computer programming and formal systems, edited by P. Braffort and D. Hirschbert

Provability, Computability and Reflection.

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

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/algorithmentheorie
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_machine_theory
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_information_technology
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/systeme_formel
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programas_y_sistemas_de_programacion
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/langage_algebrique
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/formale_sprache
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/logic_symbolic_and_mathematical_periodicals
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programmering
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_computer_science
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/funciones_recursivas
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/elaboratori_elettronici_programmazione
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/formal_methods_computer_science
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programacion_computadores_electronicos
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/mathematics_general
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/ordinateurs_programmation
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_hardware_general
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/datamaskiner
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/lenguajes_formales
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/theorie_automate
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_data_processing
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_reference
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programacio_ordinadors
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/szamitogep_programozas
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/sistemi_analisi
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computer_programming
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/aufsatzsammlung
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programmation_ordinateurs
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/datenverarbeitung
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programacio_informatica
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/langages_de_programmation
http://experiment.worldcat.org/entity/work/data/1011832685#Topic/computers_computer_literacy

http://schema.org/alternateName

"Computer programming and formal systems"

http://schema.org/author

http://worldcat.org/entity/person/id/2640306498
http://worldcat.org/entity/person/id/2632318516

http://schema.org/contributor

http://worldcat.org/entity/person/id/2640306498
http://worldcat.org/entity/person/id/2633011007
http://worldcat.org/entity/person/id/2632318516
http://worldcat.org/entity/person/id/2692875707

http://schema.org/creator

http://worldcat.org/entity/person/id/2695261061
http://worldcat.org/entity/person/id/2632318516

http://schema.org/description

"Provability, Computability and Reflection."@en

http://schema.org/editor

http://worldcat.org/entity/person/id/2632318516
http://worldcat.org/entity/person/id/2640306498

http://schema.org/name

"Computer Programming and formal systems"
"Computer programming and formal systems, edited by P. Braffort and D. Hirschbert"@en
"Computer programming and formal systems : Edited by P. Braffort,... and D. Hirschberg"
"Computer programming and formal systems"@en
"Computer programming and formal systems"
"COMPUTER PROGRAMMING AND FORMAL SYSTEMS"@it
"Computer programming and formal systems. Edited by P. Braffort ... and D. Hirschberg"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/1464067
http://www.worldcat.org/oclc/781338116
http://www.worldcat.org/oclc/258447221
http://www.worldcat.org/oclc/644545296
http://www.worldcat.org/oclc/526302
http://www.worldcat.org/oclc/909677129
http://www.worldcat.org/oclc/639784021
http://www.worldcat.org/oclc/715125322
http://www.worldcat.org/oclc/558685645
http://www.worldcat.org/oclc/256108756
http://www.worldcat.org/oclc/472197296
http://www.worldcat.org/oclc/186632989
http://www.worldcat.org/oclc/729240285
http://www.worldcat.org/oclc/849155007
http://www.worldcat.org/oclc/901868154
http://www.worldcat.org/oclc/797571913
http://www.worldcat.org/oclc/438939783
http://www.worldcat.org/oclc/802541859
http://www.worldcat.org/oclc/750893941
http://www.worldcat.org/oclc/493307196
http://www.worldcat.org/oclc/715820632
http://www.worldcat.org/oclc/878754603
http://www.worldcat.org/oclc/802518064
http://www.worldcat.org/oclc/813229965
http://www.worldcat.org/oclc/301257410
http://www.worldcat.org/oclc/490400669
http://www.worldcat.org/oclc/439048806
http://www.worldcat.org/oclc/7789343
http://www.worldcat.org/oclc/318138534
http://www.worldcat.org/oclc/681797777
http://www.worldcat.org/oclc/459865713
http://www.worldcat.org/oclc/252543585
http://www.worldcat.org/oclc/488585226
http://www.worldcat.org/oclc/802148550
http://www.worldcat.org/oclc/814139248
http://www.worldcat.org/oclc/428102082
http://www.worldcat.org/oclc/491977106
http://www.worldcat.org/oclc/878090199

Algorithmentheorie.

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
"Algorithmentheorie."