Axiomatising the logic of computer programming

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/30927531#Topic/methodologie_programmation
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmierung
http://id.loc.gov/authorities/subjects/sh85078117
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmiersprache
http://experiment.worldcat.org/entity/work/data/30927531#Topic/computer_science
http://id.worldcat.org/fast/1078942
http://id.loc.gov/authorities/subjects/sh85107437
http://experiment.worldcat.org/entity/work/data/30927531#Topic/axiomatik
http://experiment.worldcat.org/entity/work/data/30927531#Topic/semantik
http://experiment.worldcat.org/entity/work/data/30927531#Topic/logique_mathematique
http://id.worldcat.org/fast/1002045
http://experiment.worldcat.org/entity/work/data/30927531#Topic/computer_programming
http://experiment.worldcat.org/entity/work/data/30927531#Topic/preuve_theorie_de_la
http://experiment.worldcat.org/entity/work/data/30927531#Topic/langages_de_programmation_semantique
http://id.worldcat.org/fast/872451
http://id.loc.gov/authorities/subjects/sh89003285
http://experiment.worldcat.org/entity/work/data/30927531#Topic/theorie_de_la_preuve
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmering
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/30927531#Topic/syntax
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmierlogik
http://experiment.worldcat.org/entity/work/data/30927531#Topic/theorie_commande
http://experiment.worldcat.org/entity/work/data/30927531#Topic/axiomatisation
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/30927531#Topic/programmierung_datenverarbeitung
http://id.worldcat.org/fast/1078716
http://experiment.worldcat.org/entity/work/data/30927531#Topic/theoretische_informatica
http://experiment.worldcat.org/entity/work/data/30927531#Topic/beweistheorie
http://id.loc.gov/authorities/subjects/sh85107316
http://experiment.worldcat.org/entity/work/data/30927531#Topic/lenguajes_de_programacion_computadores_electronicos_semantica
http://experiment.worldcat.org/entity/work/data/30927531#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/30927531#Topic/theorie_demonstration
http://experiment.worldcat.org/entity/work/data/30927531#Topic/teoria_de_la_demostracion
http://experiment.worldcat.org/entity/work/data/30927531#Topic/logics_and_meanings_of_programs
http://experiment.worldcat.org/entity/work/data/30927531#Topic/logik

http://schema.org/author

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

http://schema.org/contributor

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

http://schema.org/creator

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

http://schema.org/name

"Axiomatising the logic of computer programming"@en
"Axiomatising the logic of computer programming"
"Axiomatising the Logic of Computer Programming"@en
"Axiomatising the Logic of Computer Programming"

http://schema.org/workExample

http://www.worldcat.org/oclc/716941195
http://www.worldcat.org/oclc/474323875
http://www.worldcat.org/oclc/560292569
http://www.worldcat.org/oclc/848746090
http://www.worldcat.org/oclc/760580732
http://www.worldcat.org/oclc/873632385
http://www.worldcat.org/oclc/466133215
http://www.worldcat.org/oclc/793075069
http://www.worldcat.org/oclc/770913021
http://www.worldcat.org/oclc/239742195
http://www.worldcat.org/oclc/902179283
http://www.worldcat.org/oclc/8219255
http://www.worldcat.org/oclc/801052677
http://www.worldcat.org/oclc/859799608
http://www.worldcat.org/oclc/318331410
http://www.worldcat.org/oclc/439557277

Axiomatik.

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