Predicate calculus and program semantics

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/21358674#Topic/programmiersprachen
http://experiment.worldcat.org/entity/work/data/21358674#Topic/langages_de_programmation_semantique
http://id.loc.gov/authorities/subjects/sh89003285
http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenumformer
http://experiment.worldcat.org/entity/work/data/21358674#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenkalkul
http://experiment.worldcat.org/entity/work/data/21358674#Topic/predicate_calculus
http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_predicat
http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantik
http://experiment.worldcat.org/entity/work/data/21358674#Topic/calculo_de_predicados
http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_de_predicats
http://experiment.worldcat.org/entity/work/data/21358674#Topic/llenguatges_de_programacio
http://experiment.worldcat.org/entity/work/data/21358674#Topic/programozasi_nyelv_szemantika
http://id.loc.gov/authorities/subjects/sh85107316
http://id.worldcat.org/fast/1078716
http://id.worldcat.org/fast/1002045
http://experiment.worldcat.org/entity/work/data/21358674#Topic/langage_de_programmation_semantique
http://experiment.worldcat.org/entity/work/data/21358674#Topic/elaboratori_elettronici_linguaggi_semantica
http://experiment.worldcat.org/entity/work/data/21358674#Topic/predicatenlogica
http://id.worldcat.org/fast/1075023
http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantik_informatik
http://id.worldcat.org/fast/872451
http://experiment.worldcat.org/entity/work/data/21358674#Topic/llenguatges_de_programacio_semantica
http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantique_langage
http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcolo
http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenlogik
http://experiment.worldcat.org/entity/work/data/21358674#Topic/programmiersprache
http://experiment.worldcat.org/entity/work/data/21358674#Topic/mathematische_logik
http://id.loc.gov/authorities/subjects/sh85106251
http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantiek
http://experiment.worldcat.org/entity/work/data/21358674#Topic/programming_languages_electronic_computers_semantics
http://experiment.worldcat.org/entity/work/data/21358674#Topic/lenguajes_de_programacion_semantica
http://id.loc.gov/authorities/subjects/sh85078117
http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantica
http://experiment.worldcat.org/entity/work/data/21358674#Topic/jezyki_programowania_semantyka
http://experiment.worldcat.org/entity/work/data/21358674#Topic/rachunek_kwantyfikatorow
http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_des_predicats

http://schema.org/author

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

http://schema.org/contributor

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

http://schema.org/creator

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

http://schema.org/name

"Predicate Calculus and Program Semantics"
"Predicate calculus and program semantics"@en
"Predicate calculus and program semantics"

http://schema.org/workExample

http://www.worldcat.org/oclc/853269493
http://www.worldcat.org/oclc/464175643
http://www.worldcat.org/oclc/20014580
http://www.worldcat.org/oclc/644128385
http://www.worldcat.org/oclc/751141425
http://www.worldcat.org/oclc/906949286
http://www.worldcat.org/oclc/898851679
http://www.worldcat.org/oclc/758120884
http://www.worldcat.org/oclc/223179757
http://www.worldcat.org/oclc/802784069
http://www.worldcat.org/oclc/863755306
http://www.worldcat.org/oclc/802328271
http://www.worldcat.org/oclc/799541692
http://www.worldcat.org/oclc/848480456
http://www.worldcat.org/oclc/246599652
http://www.worldcat.org/oclc/300612764
http://www.worldcat.org/oclc/800547840

Calcolo.

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