<http://experiment.worldcat.org/entity/work/data/892798678#Organization/symposium_on_logics_of_programs_and_their_applications_&lt_1980_poznan&gt> <http://schema.org/name> "Symposium on Logics of Programs and Their Applications. &lt;1980, Poznán&gt;." .
<http://experiment.worldcat.org/entity/work/data/892798678#Organization/symposium_on_logics_of_programs_and_their_applications_&lt_1980_poznan&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/calcul_parallele> <http://schema.org/name> "calcul parallèle." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/calcul_parallele> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation> <http://schema.org/name> "logique programmation." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801041839> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/9224476> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475225844> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911369019> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "LOGICS OF PROGRAMS AND THEIR APPLICATIONS : Proceedings, Poznan, August 23-29, 1980"@it .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_science> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_programming> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/892798678#Organization/symposium_on_logics_of_programs_and_their_applications_&lt_1980_poznan&gt> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications : proceedings, Poznan, Aug. 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications : proceedings, Poznan, august 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of Programs and Their Applications" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of Programs and Their Applications"@en .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/congressi_poznan_1980> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of Programs and Their Applications : Proceedings of a Symposium held : Poznan, Poland, August 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications : Proceedings, Poznan, August 23-29, 1980. Organized jointly by the Regional Computing Center of the Technical University of Pozna#%n, Institute of Informatics of the University of Warzaw and the Mathematical Institute of Polish Academy of Sciences" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/contributor> <http://viaf.org/viaf/142595439> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/calcul_parallele> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programs and their applications proceedings, Poznan, August 23-29, 1980"@en .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/770913037> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh93007047> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung_datenverarbeitung> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelverarbeitung_&lt_edv&gt> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/type_abstrait> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/239750546> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/439980547> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/799991293> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/komputery_programowanie_konferencje> .
<http://worldcat.org/entity/work/id/892798678> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793075088> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of Programs and Their Applications Proceedings, Poznan, August 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/718733788> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres_congres> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/name> "Logics of programms and their applications : proceedings : Poznan, august 23-29, 1980" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/loglan> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/informatique_theorique> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n83165615> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751005050> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878749486> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.worldcat.org/fast/906854> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644285699> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466101637> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logik> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/310589815> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programacion_logica_congresos> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelbetrieb> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873631934> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640989735> .
<http://worldcat.org/entity/work/id/892798678> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation_congres> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logiciels_congres> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierlogik> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640989735> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2640989735> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/elaboratori_elettronici_programmazione_congressi_1980> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan_poland> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781534197> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/structure_logique_logiciels> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760709577> .
<http://worldcat.org/entity/work/id/892798678> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/892798678#Topic/theorie_calcul> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/theorie_calcul> <http://schema.org/name> "théorie calcul." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/theorie_calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelbetrieb> <http://schema.org/name> "Parallelbetrieb." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelbetrieb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logiciels_congres> <http://schema.org/name> "Logiciels Congrès." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logiciels_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/type_abstrait> <http://schema.org/name> "type abstrait." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/type_abstrait> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/informatique_theorique> <http://schema.org/name> "informatique théorique." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/informatique_theorique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation_congres> <http://schema.org/name> "logique programmation [congrès]" .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logique_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres> <http://schema.org/name> "Programmation (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung_datenverarbeitung> <http://schema.org/name> "Programmierung (Datenverarbeitung)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung_datenverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/congressi_poznan_1980> <http://schema.org/name> "Congressi - Poznan - 1980." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/congressi_poznan_1980> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programacion_logica_congresos> <http://schema.org/name> "Programación lógica Congresos." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programacion_logica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelverarbeitung_&lt_edv&gt> <http://schema.org/name> "Parallelverarbeitung &lt;EDV&gt;" .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/parallelverarbeitung_&lt_edv&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://schema.org/name> "Symposium on Logics of Programs and their Applications (1980 ; Poznań)." .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://schema.org/name> "Symposium on Logics of Programs and Their Applications (1980 : Poznan)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://schema.org/name> "Symposium on Logics of Programs and Their Applications (1980 : Poznán)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://schema.org/name> "Symposium on Logics of Programs and their Applications (1980 : Poznan)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> <http://schema.org/name> "Symposium on logics of programs and their applications (1980. Poznan)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/komputery_programowanie_konferencje> <http://schema.org/name> "Komputery programowanie konferencje." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/komputery_programowanie_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/elaboratori_elettronici_programmazione_congressi_1980> <http://schema.org/name> "Elaboratori elettronici - Programmazione - Congressi - 1980." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/elaboratori_elettronici_programmazione_congressi_1980> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/structure_logique_logiciels> <http://schema.org/name> "Structure logique Logiciels." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/structure_logique_logiciels> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan_poland> <http://schema.org/name> "Symposium on Logics of Programs and Their Applications (1980 : Poznań, Poland)" .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan_poland> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan_poland> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logik> <http://schema.org/name> "Logik." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung> <http://schema.org/name> "Programmierung." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierlogik> <http://schema.org/name> "Programmierlogik." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierlogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/loglan> <http://schema.org/name> "LOGLAN." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/loglan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/892798678.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/892798678> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_programming> <http://schema.org/name> "Computer programming." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/computer_programming> <http://schema.org/name> "Computer Programming." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres_congres> <http://schema.org/name> "Programmation (Informatique) Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmation_informatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .