<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematique> <http://schema.org/name> "Mathématique." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_karlsruhe> <http://schema.org/name> "International Symposium on Design and Implementation of Symbolic Computation Systems (4 : 1996 : Karlsruhe)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_logiciel> <http://schema.org/name> "conception logiciel." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/computer_science> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2641210088> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/systemes_conception_de_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/1141401> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_d_un_systeme_d_information_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793077669> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440949453> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/matematica_elaborazione_elettronica_dei_dati_congressi_1996> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150397666> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_4_1996_09_18_20_karlsruhe> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/calcul_formel> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85131736> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systeme> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/alternateName> "DISCO '96"@en .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2641839971> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/alternateName> "DISCO '96" .
<http://worldcat.org/entity/work/id/353716440> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/630116820> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_4_1996_karlsruhe> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911377668> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85082146> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760645069> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85046450> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/35280731> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems international symposium DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematics_data_processing_congresses> .
<http://worldcat.org/entity/work/id/353716440> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_disco_96_1996_karlsruhe_germany> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n96078955> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641839971> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797819981> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatyka_konferencje> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systemes_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4th_1996_karlsruhe_germany> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008112431> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107562> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/raisonnement_automatique> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/sistemi_progettazione_congressi_1996> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641839971> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/718492225> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/obliczenia_symboliczne_konferencje> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/alternateName> "DISCO'96" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/alternateName> "DISCO'96"@en .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/918516> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/software_engineering_programming_and_operating_systems> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : International Symposium DISCO'96 Karlsruhe, Germany, september 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/congressi_karlsruhe_1996> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/ecuaciones_soluciones_numericas_congresos> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/702718210> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/symbolic_and_algebraic_manipulation> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/description> "\"This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.\"--PUBLISHER'S WEBSITE." .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003487> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_1996_karlsruhe_germany> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845508942> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/system_design_congresses> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/algebra_xdata_processing> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Congressi" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/genre> "Electronic resources (Books)" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/804890> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801053046> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/750971740> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, September 18 - 20, 1996 ; proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/description> "This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed." .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007100982> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811394653> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"@en .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/634416476> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : international symposium, DISCO '96, Karlsruhe, Germany, september 18-20, 1996, proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/projektowanie_systemow_konferencje> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/326688240> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827358692> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_logiciel> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Organization/disco> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/872207> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/1012179> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_karlsruhe> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/940870> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_4_1996_karlsruhe> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473478795> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/872536> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematiques_informatique_congres> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematique> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_1996_karlsruhe_germany> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/reecriture> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/demonstration_automatique_de_theoremes> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_programming_congresses> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029505> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/workExample> <http://www.worldcat.org/oclc/707987356> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://viaf.org/viaf/166585708> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008105182> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatique> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_09_18_20_karlsruhe> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641210088> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_systeme> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_theorem_proving_congresses> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings"@en .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : international symposium, DISCO '96 : Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_conference_1996_karlsruhe_germany> .
<http://worldcat.org/entity/work/id/353716440> <http://schema.org/name> "Design and implementation of symbolic computation systems : international symposium, DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : proceedings" .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/symbolic_and_algebraic_manipulation> <http://schema.org/name> "Symbolic and Algebraic Manipulation." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/symbolic_and_algebraic_manipulation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Organization/disco> <http://schema.org/name> "DISCO" .
<http://experiment.worldcat.org/entity/work/data/353716440#Organization/disco> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/ecuaciones_soluciones_numericas_congresos> <http://schema.org/name> "Ecuaciones Soluciones numéricas Congresos." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/ecuaciones_soluciones_numericas_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/sistemi_progettazione_congressi_1996> <http://schema.org/name> "Sistemi - Progettazione - Congressi - 1996." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/sistemi_progettazione_congressi_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/raisonnement_automatique> <http://schema.org/name> "raisonnement automatique." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/raisonnement_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/projektowanie_systemow_konferencje> <http://schema.org/name> "Projektowanie systemów konferencje." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/projektowanie_systemow_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_programming_congresses> <http://schema.org/name> "Automatic programming Congresses." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_programming_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/demonstration_automatique_de_theoremes> <http://schema.org/name> "Démonstration automatique de théorèmes." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/demonstration_automatique_de_theoremes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/congressi_karlsruhe_1996> <http://schema.org/name> "Congressi - Karlsruhe - 1996." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/congressi_karlsruhe_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/system_design_congresses> <http://schema.org/name> "System design Congresses." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/system_design_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_systeme> <http://schema.org/name> "conception système." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_systeme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_4_1996_09_18_20_karlsruhe> <http://schema.org/name> "DISCO (4 1996.09.18-20 Karlsruhe)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_4_1996_09_18_20_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_4_1996_09_18_20_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systeme> <http://schema.org/name> "Conception de système." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systeme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/matematica_elaborazione_elettronica_dei_dati_congressi_1996> <http://schema.org/name> "Matematica - Elaborazione elettronica dei dati - Congressi - 1996." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/matematica_elaborazione_elettronica_dei_dati_congressi_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematiques_informatique_congres> <http://schema.org/name> "Mathématiques Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematiques_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_4_1996_karlsruhe> <http://schema.org/name> "DISCO '96 (4 ; 1996 ; Karlsruhe)." .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/artificial_intelligence_incl_robotics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systemes_congres> <http://schema.org/name> "Conception de systèmes Congrès." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_de_systemes_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_1996_karlsruhe_germany> <http://schema.org/name> "International Symposium DISCO '96 (1996 : Karlsruhe, Germany)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/systemes_conception_de_congres> <http://schema.org/name> "Systèmes, Conception de Congrès." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/systemes_conception_de_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_09_18_20_karlsruhe> <http://schema.org/name> "International Symposium on Design and Implementation of Symbolic Computation Systems (4 1996.09.18-20 Karlsruhe)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_09_18_20_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4_1996_09_18_20_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/software_engineering_programming_and_operating_systems> <http://schema.org/name> "Software Engineering/Programming and Operating Systems." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/software_engineering_programming_and_operating_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_disco_96_1996_karlsruhe_germany> <http://schema.org/name> "International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96) (1996. Karlsruhe, Germany)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_disco_96_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_disco_96_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_conference_1996_karlsruhe_germany> <http://schema.org/name> "DISCO '96 (Conference) (1996 : Karlsruhe, Germany)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_conference_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/disco_96_conference_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/theoremes_demonstration_automatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatyka_konferencje> <http://schema.org/name> "Informatyka konferencje." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/informatyka_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/353716440.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/353716440> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/353716440#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/353716440#Topic/reecriture> <http://schema.org/name> "réécriture." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_4_1996_karlsruhe> <http://schema.org/name> "International symposium DISCO '96 (4 : 1996 : Karlsruhe)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_disco_96_4_1996_karlsruhe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/calcul_formel> <http://schema.org/name> "calcul formel." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/calcul_formel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_theorem_proving_congresses> <http://schema.org/name> "Automatic theorem proving Congresses." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/automatic_theorem_proving_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/obliczenia_symboliczne_konferencje> <http://schema.org/name> "Obliczenia symboliczne konferencje." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/obliczenia_symboliczne_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_d_un_systeme_d_information_congres> <http://schema.org/name> "conception d'un système d'information [congrès]" .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/conception_d_un_systeme_d_information_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/algebra_xdata_processing> <http://schema.org/name> "Algebra_xData processing." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/algebra_xdata_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematics_data_processing_congresses> <http://schema.org/name> "Mathematics Data processing Congresses." .
<http://experiment.worldcat.org/entity/work/data/353716440#Topic/mathematics_data_processing_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4th_1996_karlsruhe_germany> <http://schema.org/name> "International Symposium on Design and Implementation of Symbolic Computation Systems (4th : 1996 : Karlsruhe, Germany)" .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4th_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/353716440#Meeting/international_symposium_on_design_and_implementation_of_symbolic_computation_systems_4th_1996_karlsruhe_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .