A discipline of programming

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

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

http://schema.org/about

http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/410656#Topic/exactitude_programme
http://experiment.worldcat.org/entity/work/data/410656#Topic/algorytmy
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmeren_computers
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmering
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmiersprache
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmation
http://experiment.worldcat.org/entity/work/data/410656#Topic/programes_logica_i_semantica
http://experiment.worldcat.org/entity/work/data/410656#Topic/programacion_de_ordenadores
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmeren_informatica
http://experiment.worldcat.org/entity/work/data/410656#Topic/llenguatges_de_programacio
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmeertalen
http://experiment.worldcat.org/entity/work/data/410656#Topic/ordinateurs_programmation
http://experiment.worldcat.org/entity/work/data/410656#Topic/computers
http://experiment.worldcat.org/entity/work/data/410656#Topic/ordinateur_programmation_congres
http://experiment.worldcat.org/entity/work/data/410656#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/410656#Topic/programowanie_informat
http://experiment.worldcat.org/entity/work/data/410656#Topic/programacion_computadores_electronicos_digitales
http://experiment.worldcat.org/entity/work/data/410656#Topic/programacion_computadores_electronicos
http://experiment.worldcat.org/entity/work/data/410656#Topic/informatica
http://experiment.worldcat.org/entity/work/data/410656#Topic/semantique_langage_programmation
http://experiment.worldcat.org/entity/work/data/410656#Topic/elaboratori_elettronici_programmazione
http://experiment.worldcat.org/entity/work/data/410656#Topic/computer_programming
http://experiment.worldcat.org/entity/work/data/410656#Topic/komputery_programowanie
http://experiment.worldcat.org/entity/work/data/410656#Topic/langages_de_programmation_semantique
http://experiment.worldcat.org/entity/work/data/410656#Topic/resolution_probleme

http://schema.org/author

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

http://schema.org/contributor

http://worldcat.org/entity/person/id/2640994515
http://viaf.org/viaf/313077958
http://worldcat.org/entity/person/id/2628096462
http://worldcat.org/entity/person/id/2626937321
http://worldcat.org/entity/person/id/2628085077
http://worldcat.org/entity/person/id/2636059019
http://worldcat.org/entity/person/id/2641303528
http://worldcat.org/entity/person/id/2641596058

http://schema.org/creator

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

http://schema.org/description

"Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation."

http://schema.org/name

"A Discipline of Programming"
"Disciplina programmirovaniâ"
"Disciplina programmirovanija"
"Umiejętność programowania"@pl
"A discipline of programming"@en
"A discipline of programming"@it
"A discipline of programming"
"A discipline of programmin"

http://schema.org/workExample

http://www.worldcat.org/oclc/848183290
http://www.worldcat.org/oclc/441086231
http://www.worldcat.org/oclc/247108043
http://www.worldcat.org/oclc/902360975
http://www.worldcat.org/oclc/1958445
http://www.worldcat.org/oclc/694845050
http://www.worldcat.org/oclc/318138537
http://www.worldcat.org/oclc/858899740
http://www.worldcat.org/oclc/300567723
http://www.worldcat.org/oclc/464452914
http://www.worldcat.org/oclc/856703119
http://www.worldcat.org/oclc/749737172
http://www.worldcat.org/oclc/878722410
http://www.worldcat.org/oclc/859818523
http://www.worldcat.org/oclc/475206096
http://www.worldcat.org/oclc/751338491
http://www.worldcat.org/oclc/473375865
http://www.worldcat.org/oclc/632401027
http://www.worldcat.org/oclc/635053204
http://www.worldcat.org/oclc/565662199
http://www.worldcat.org/oclc/758286287
http://www.worldcat.org/oclc/801847883
http://www.worldcat.org/oclc/797245867
http://www.worldcat.org/oclc/693424907

Algorytmy.

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