<http://experiment.worldcat.org/entity/work/data/322796061#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_almaty> <http://schema.org/name> "International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (10 : 2003.9 : Almaty)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/322796061#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/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10th_2003_almaty_kazakhstan> <http://schema.org/name> "International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (10th : 2003 : Almaty, Kazakhstan)." .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10th_2003_almaty_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10th_2003_almaty_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_22_26_almaty> <http://schema.org/name> "International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (10 2003.9.22-26 Almaty)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_22_26_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_22_26_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/raisonnement_automatique> <http://schema.org/name> "raisonnement automatique." .
<http://experiment.worldcat.org/entity/work/data/322796061#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/322796061#Meeting/lpar_10e_2003_alma_ata_kazakhstan> <http://schema.org/name> "LPAR (10e : 2003 : Alma-Ata (Kazakhstan))" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10e_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10e_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/artificial_intelligence_incl_robotics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Organization/lpar_2003> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/demonstration_theoreme> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/1002056> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496443483> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_almaty> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/alternateName> "International Conferenece on Logic for Programming,Artificial Intelligence, and Reasoning" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Almaty (2003)" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming artificial intelligence and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings"@en .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming artificial intelligence and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/analyse_programme> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642298925> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2668006345> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846891468> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Online-Publikation" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_&lt_10_2003_almaty&gt> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_almaty_kazakhstan_2003> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/description> "This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction."@en .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912294214> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_2003_9_22_26_almaty> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/deduction_automatique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Organization/springer_verlag> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10th_2003_almaty_kazakhstan> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning 10th international conference ; proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/76649160> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/166468950> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://viaf.org/viaf/132316809> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10th_2003_alma_ata_kazakhstan> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/logic_programming> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/834385866> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/logische_programmierung> .
<http://worldcat.org/entity/work/id/322796061> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/inference> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_22_26_almaty> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_en_logique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22-26, 2003 ; proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh86003454> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793075251> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/alternateName> "LPAR 2003" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/464861955> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/formalisation_raisonnement> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/248852738> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/243490614> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmierlogik> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning : 10th international conference : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636350924> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/879054629> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos_en_linea> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no2005046756> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/raisonnement_automatique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/436643107> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/53007054> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801004144> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_2003_alma_ata_kazakhstan> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatic_theorem_proving> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632130040> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/abstraction> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/demonstration_automatique_de_theoremes> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_conference_10th_2003_alma_ata_kazakhstan> .
<http://worldcat.org/entity/work/id/322796061> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique_congres> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/raisonnement_informatique> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/756603338> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatisches_beweisverfahren> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings" .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/computer_science> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632130040> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/programming_techniques> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10e_2003_alma_ata_kazakhstan> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423450480> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/kongress> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10ª_2003_almaty_kazajstan> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107111> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://viaf.org/viaf/148105729> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_almaty> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/322796061#Topic/verification_formelle> .
<http://worldcat.org/entity/work/id/322796061> <http://schema.org/name> "Logic for Programming, Artificial Intelligence, and Reasoning"@en .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/raisonnement_informatique> <http://schema.org/name> "Raisonnement (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/raisonnement_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatic_theorem_proving> <http://schema.org/name> "Automatic theorem proving." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatic_theorem_proving> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_&lt_10_2003_almaty&gt> <http://schema.org/name> "LPAR &lt;10, 2003, Almaty&gt;" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_&lt_10_2003_almaty&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_&lt_10_2003_almaty&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_almaty_kazakhstan_2003> <http://schema.org/name> "International conference on logic for programming, artificial intelligence, and reasoning (10. : Almaty, Kazakhstan : 2003)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_almaty_kazakhstan_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_artificial_intelligence_and_reasoning_10_almaty_kazakhstan_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/deduction_automatique> <http://schema.org/name> "déduction automatique." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/deduction_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos> <http://schema.org/name> "Inteligencia artificial Congresos." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/322796061.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/322796061> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/abstraction> <http://schema.org/name> "abstraction." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/abstraction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique_congres> <http://schema.org/name> "Programmation logique Congrès." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_2003_alma_ata_kazakhstan> <http://schema.org/name> "LPAR 2003 (2003 : Alma-Ata, Kazakhstan)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inference> <http://schema.org/name> "inférence." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inference> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/demonstration_theoreme> <http://schema.org/name> "démonstration théorème." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/demonstration_theoreme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logique_mathematique> <http://schema.org/name> "logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/demonstration_automatique_de_theoremes> <http://schema.org/name> "Démonstration automatique de théorèmes." .
<http://experiment.worldcat.org/entity/work/data/322796061#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/322796061#Topic/logic_programming> <http://schema.org/name> "Logic programming." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logic_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning> <http://schema.org/name> "International Conference on Logic for Programming and Automated Reasoning." .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/international_conference_on_logic_for_programming_and_automated_reasoning> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_conference_10th_2003_alma_ata_kazakhstan> <http://schema.org/name> "LPAR (Conference) (10th : 2003 : Alma-Ata, Kazakhstan)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_conference_10th_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_conference_10th_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10ª_2003_almaty_kazajstan> <http://schema.org/name> "LPAR 2003 (10ª. 2003. Almaty, Kazajstan)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10ª_2003_almaty_kazajstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10ª_2003_almaty_kazajstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmierlogik> <http://schema.org/name> "Programmierlogik." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmierlogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_en_logique> <http://schema.org/name> "programmation en logique." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_en_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos_en_linea> <http://schema.org/name> "Inteligencia artificial Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/inteligencia_artificial_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/322796061#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/322796061#Meeting/lpar_10th_2003_alma_ata_kazakhstan> <http://schema.org/name> "LPAR (10th : 2003 : Alma-Ata, Kazakhstan)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10th_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_10th_2003_alma_ata_kazakhstan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logische_programmierung> <http://schema.org/name> "Logische Programmierung." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logische_programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programming_techniques> <http://schema.org/name> "Programming Techniques." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programming_techniques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/analyse_programme> <http://schema.org/name> "analyse programme." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/analyse_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Organization/lpar_2003> <http://schema.org/name> "LPAR 2003 :" .
<http://experiment.worldcat.org/entity/work/data/322796061#Organization/lpar_2003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/322796061#Organization/springer_verlag> <http://schema.org/name> "Springer-Verlag." .
<http://experiment.worldcat.org/entity/work/data/322796061#Organization/springer_verlag> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_almaty> <http://schema.org/name> "LPAR 2003 (10 : 2003.9 : Almaty)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/verification_formelle> <http://schema.org/name> "vérification formelle." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/verification_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/322796061#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/322796061#Meeting/lpar_2003_10_2003_9_22_26_almaty> <http://schema.org/name> "LPAR 2003 (10 2003.9.22-26 Almaty)" .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_22_26_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/322796061#Meeting/lpar_2003_10_2003_9_22_26_almaty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatisches_beweisverfahren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/formalisation_raisonnement> <http://schema.org/name> "formalisation raisonnement." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/formalisation_raisonnement> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique> <http://schema.org/name> "Programmation logique." .
<http://experiment.worldcat.org/entity/work/data/322796061#Topic/programmation_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .