The deductive foundations of computer programming

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/21004334#Topic/calcul_predicat
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logique_symbolique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/inteligencia_artificial
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logische_programmierung
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programozas_elmelet
http://experiment.worldcat.org/entity/work/data/21004334#Topic/induction_mathematique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmation
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logica_simbolica_y_matematica
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/21004334#Topic/calcul_propositionnel
http://experiment.worldcat.org/entity/work/data/21004334#Topic/deduktion
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/ordinateurs_programmation
http://experiment.worldcat.org/entity/work/data/21004334#Topic/electronica_digital
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/szamitogep_programozas
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/21004334#Topic/theorie_propositionnel
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logique_mathematique_programmation
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/mathematische_logik
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programacio_logica
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmation_mathematique
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programes_logica_i_semantica
http://experiment.worldcat.org/entity/work/data/21004334#Topic/theorie_unification
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmering
http://experiment.worldcat.org/entity/work/data/21004334#Topic/deduction
http://experiment.worldcat.org/entity/work/data/21004334#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/21004334#Topic/programacio_ordinadors

http://schema.org/alternateName

"Logical basis for computer programming"

http://schema.org/author

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

http://schema.org/contributor

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

http://schema.org/creator

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

http://schema.org/name

"The Deductive foundations of computer programming"
"The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming"
"The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming""
"The deductive foundations of computer programming"@en
"The deductive foundations of computer programming"
"The deductive foundations of computer programming : a one-volume version of "The logical basis of computer programming""
"The deductive foundations of computer programming : a one-volume version of The Logical basis for computer programming"@en
"The Deductive Foundations of Computer Programming"

http://schema.org/workExample

http://www.worldcat.org/oclc/901458197
http://www.worldcat.org/oclc/256785971
http://www.worldcat.org/oclc/638824956
http://www.worldcat.org/oclc/316058837
http://www.worldcat.org/oclc/22347673
http://www.worldcat.org/oclc/716388979
http://www.worldcat.org/oclc/299446860
http://www.worldcat.org/oclc/802440218
http://www.worldcat.org/oclc/59889672
http://www.worldcat.org/oclc/907435613
http://www.worldcat.org/oclc/632885795
http://www.worldcat.org/oclc/476591956
http://www.worldcat.org/oclc/883413644

calcul predicat.

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
"calcul predicat."