Studies in automatic programming logic

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

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

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/3474446#Topic/elaboratori_elettronici_programmazione
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/3474446#Topic/automatische_programmierung
http://experiment.worldcat.org/entity/work/data/3474446#Topic/logiciels
http://id.loc.gov/authorities/subjects/sh85010108
http://experiment.worldcat.org/entity/work/data/3474446#Topic/automatic_programming_computer_science
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programacio_ordinadors
http://experiment.worldcat.org/entity/work/data/3474446#Topic/computer_programs
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programacion_computadores_electronicos_digitales
http://id.worldcat.org/fast/822768
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmverifikation
http://experiment.worldcat.org/entity/work/data/3474446#Topic/synthese_programme
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/3474446#Topic/szamitogep_programozas
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmering
http://experiment.worldcat.org/entity/work/data/3474446#Topic/elaboratori_elettronici_programmi
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programas_para_computador
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmation_automatique
http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmsynthese
http://id.loc.gov/authorities/subjects/sh85029524
http://id.worldcat.org/fast/872410
http://experiment.worldcat.org/entity/work/data/3474446#Topic/analyse_programme

http://schema.org/author

http://worldcat.org/entity/person/id/2638100485
http://worldcat.org/entity/person/id/2628702722

http://schema.org/contributor

http://worldcat.org/entity/person/id/2628702722
http://worldcat.org/entity/person/id/2629244636
http://worldcat.org/entity/person/id/2636822038
http://worldcat.org/entity/person/id/2638100485

http://schema.org/creator

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

http://schema.org/name

"Studies in automatic programming logic"@it
"Studies in automatic programming logic"
"Studies in automatic programming logic"@en
"Studies In automatic programming logic"
"Studies in Automatic Programming Logic"
"Studies in automatic programming logic : With contrib. by Shmuel Katz and Karl Levitt"

http://schema.org/workExample

http://www.worldcat.org/oclc/488311195
http://www.worldcat.org/oclc/908929318
http://www.worldcat.org/oclc/490050564
http://www.worldcat.org/oclc/801851967
http://www.worldcat.org/oclc/630525014
http://www.worldcat.org/oclc/318138544
http://www.worldcat.org/oclc/568720859
http://www.worldcat.org/oclc/802105761
http://www.worldcat.org/oclc/263713235
http://www.worldcat.org/oclc/10141849
http://www.worldcat.org/oclc/797121975
http://www.worldcat.org/oclc/901748030
http://www.worldcat.org/oclc/878755194
http://www.worldcat.org/oclc/2912367

analyse programme.

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
"analyse programme."