Mathematical logic in computer science

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/510048882#Topic/llenguatges_de_programacio
http://experiment.worldcat.org/entity/work/data/510048882#Topic/resolution_probleme
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_algebrique
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/510048882#Topic/electronic_digital_computers
http://id.worldcat.org/fast/1078704
http://experiment.worldcat.org/entity/work/data/510048882#Topic/congressos_i_conferencies
http://id.worldcat.org/fast/1078716
http://experiment.worldcat.org/entity/work/data/510048882#Topic/ordinateurs_programmation_congres
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_matematica_congresos_y_asambleas
http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_des_ordinateurs_discours_essais_conferences
http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_programmation
http://experiment.worldcat.org/entity/work/data/510048882#Topic/elaboratori_elettronici_programmazione_congressi_salgotarjan_1978
http://experiment.worldcat.org/entity/work/data/510048882#Topic/langage_logique
http://experiment.worldcat.org/entity/work/data/510048882#Topic/langages_de_programmation_semantique_discours_essais_conferences
http://experiment.worldcat.org/entity/work/data/510048882#Topic/datenverarbeitung
http://experiment.worldcat.org/entity/work/data/510048882#Topic/szamitogep_matemetikai_logika
http://experiment.worldcat.org/entity/work/data/510048882#Topic/semantique
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_congressi_salgotarjan_1978
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logik
http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/510048882#Topic/computer_programming
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/510048882#Topic/informatik
http://experiment.worldcat.org/entity/work/data/510048882#Topic/programming_languages_electronic_computers_semantics
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_demonstration
http://id.loc.gov/authorities/subjects/sh85078115
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_si_matematica
http://id.loc.gov/authorities/subjects/sh85107316
http://id.loc.gov/authorities/subjects/sh85107313
http://experiment.worldcat.org/entity/work/data/510048882#Topic/matematikai_logika_szamitastudomany
http://experiment.worldcat.org/entity/work/data/510048882#Topic/programacio_ordinadors
http://experiment.worldcat.org/entity/work/data/510048882#Topic/mathematische_logik

http://schema.org/contributor

http://worldcat.org/entity/person/id/2724456341
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978
http://worldcat.org/entity/person/id/2707607787
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria
http://experiment.worldcat.org/entity/work/data/510048882#Organization/bolyai_janos_mathematikai_tarsulat
http://viaf.org/viaf/155264236
http://id.loc.gov/authorities/names/n80094256
http://worldcat.org/entity/person/id/2630637385
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan
http://worldcat.org/entity/person/id/2637529537
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan

http://schema.org/creator

http://worldcat.org/entity/person/id/2637529537
http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan

http://schema.org/editor

http://worldcat.org/entity/person/id/2637529537
http://worldcat.org/entity/person/id/2630637385

http://schema.org/name

"MATHEMATICAL LOGIC IN COMPUTER SCIENCE"@it
"Mathematical logic in computer science"@en
"Mathematical logic in computer science"
"Mathematical logic in computer science papers"
"Mathematical Logic in Computer Science : Updated Papers from a Colloquium held in Salgótarján between 10-15 September, 1978"

http://schema.org/workExample

http://www.worldcat.org/oclc/679316190
http://www.worldcat.org/oclc/767970554
http://www.worldcat.org/oclc/781397745
http://www.worldcat.org/oclc/878754769
http://www.worldcat.org/oclc/803240952
http://www.worldcat.org/oclc/850854732
http://www.worldcat.org/oclc/8306779
http://www.worldcat.org/oclc/474323379
http://www.worldcat.org/oclc/490778843
http://www.worldcat.org/oclc/895196076
http://www.worldcat.org/oclc/251431020
http://www.worldcat.org/oclc/797326060
http://www.worldcat.org/oclc/715904232
http://www.worldcat.org/oclc/693423569
http://www.worldcat.org/oclc/908781533

Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján)

This is a placeholder reference for a Meeting 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/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján)"
"COLLOQUIUM ON MATHEMATICAL LOGIC IN COMPUTER SCIENCE, 1978, Salgótarján."

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan

Colloquium on Mathematical Logic in Computer Science (1978 (Salgótarján, Hungary))

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloquium on Mathematical Logic in Computer Science (1978 (Salgótarján, Hungary))"
"Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)"

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary

Colloquium on Mathematical Logic in Computer Science, (1978. Salgótarján, Hungria)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloquium on Mathematical Logic in Computer Science, (1978. Salgótarján, Hungria)"

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria

Colloquium on Mathematical Logic in Computer Science (Salgótarján) (10-15 September, 1978.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloquium on Mathematical Logic in Computer Science (Salgótarján) (10-15 September, 1978.)"

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978

Colloquium on Mathematical Logic in Computer Science (Salgótarján, Hungary) (1978)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloquium on Mathematical Logic in Computer Science (Salgótarján, Hungary) (1978)"

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978

Mathematical Logic in Computer Science (1978 : Salgótarjan)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Mathematical Logic in Computer Science (1978 : Salgótarjan)"

http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan

Bolyai János Mathematikai Társulat.

This is a placeholder reference for a Organization 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/Organization
schema:name
"Bolyai János Mathematikai Társulat."

http://experiment.worldcat.org/entity/work/data/510048882#Organization/bolyai_janos_mathematikai_tarsulat

Computer programming.

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
"Computer programming."