<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacion_computadores_electronicos_digitales> <http://schema.org/name> "Programación (Computadores electrónicos digitales)" .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacion_computadores_electronicos_digitales> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/artificiele_intelligentie_robotica_simulatie_graphics> <http://schema.org/name> "Artificiële intelligentie. Robotica. Simulatie. Graphics." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/artificiele_intelligentie_robotica_simulatie_graphics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/prolog> <http://schema.org/name> "PROLOG." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/prolog> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/systeme_expert> <http://schema.org/name> "système expert." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/systeme_expert> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique_formelle> <http://schema.org/name> "logique formelle." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/inteligencia_artificial> <http://schema.org/name> "Inteligencia artificial." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/inteligencia_artificial> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement_automatise> <http://schema.org/name> "raisonnement automatisé" .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement_automatise> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement> <http://schema.org/name> "raisonnement." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/temps_reel> <http://schema.org/name> "temps réel." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/temps_reel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation> <http://schema.org/name> "Ordinateurs Programmation." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/circuit_logique> <http://schema.org/name> "circuit logique." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/circuit_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/langage_programmation> <http://schema.org/name> "langage programmation." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/langage_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/elaboratori_elettronici_programmazione> <http://schema.org/name> "Elaboratori elettronici - Programmazione." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/elaboratori_elettronici_programmazione> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/teoremes_demostracio_automatica> <http://schema.org/name> "Teoremes Demostració automàtica." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/teoremes_demostracio_automatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstliche_intelligenz> <http://schema.org/name> "Künstliche Intelligenz." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstliche_intelligenz> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intel_ligencia_artificial> <http://schema.org/name> "Intel·ligència artificial." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intel_ligencia_artificial> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intel_ligencia_artificial> <http://schema.org/name> "Intel·ligència artificial" .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/demostracion_automatica_de_teoremas> <http://schema.org/name> "Demostración automática de teoremas." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/demostracion_automatica_de_teoremas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie> <http://schema.org/name> "Kunstmatige intelligentie." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmation_informatique> <http://schema.org/name> "Programmation (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmation_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/263445016> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/automatisches_beweisverfahren> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/correction_programme> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/318138460> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/757040834> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/author> <http://worldcat.org/entity/person/id/2693719026> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning : Introduction and applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/634694102> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475933924> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/830815696> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/author> <http://worldcat.org/entity/person/id/2638110574> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/299416341> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802519899> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909747835> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901954146> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24870961> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628316193> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligenza_artificiale> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802899726> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmierung> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/10099218> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/elaboratori_elettronici_programmazione> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636336160> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/inteligencia_artificial> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/systeme_expert> .
<http://worldcat.org/entity/work/id/792918624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning introduction and applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning introduction and applications"@en .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/prolog> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/630457706> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated Reasoning : Introduction and Applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/author> <http://worldcat.org/entity/person/id/2642636128> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/696262329> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/author> <http://worldcat.org/entity/person/id/2628316193> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/teoremes_demostracio_automatica> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/artificiele_intelligentie_robotica_simulatie_graphics> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/circuit_logique> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636336160> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642636128> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638110574> .
<http://worldcat.org/entity/work/id/792918624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2693719026> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacion_computadores_electronicos_digitales> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmation_informatique> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "*Automated reasoning : introduction and applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/intel_ligencia_artificial> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique_formelle> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636242686> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstliche_intelligenz> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacio_ordinadors> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning : introd. and applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/dimostrazione_automatica_di_teoremi> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/temps_reel> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2693719026> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/567737890> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/453308496> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/demostracion_automatica_de_teoremas> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/electronica_digital> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning : introduction and applications" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797240000> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement_automatise> .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/name> "Automated reasoning : introduction and applications [Hauptbd.]" .
<http://worldcat.org/entity/work/id/792918624> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792918624#Topic/langage_programmation> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacio_ordinadors> <http://schema.org/name> "Programació (Ordinadors)" .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacio_ordinadors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> <http://schema.org/name> "Intelligence artificielle." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> <http://schema.org/name> "intelligence artificielle." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligenza_artificiale> <http://schema.org/name> "Intelligenza artificiale." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligenza_artificiale> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/792918624.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/792918624> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren." .
<http://experiment.worldcat.org/entity/work/data/792918624#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/792918624#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement> <http://schema.org/name> "démonstration de théorème intelligence artificielle raisonnement." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique> <http://schema.org/name> "Théorèmes Démonstration automatique." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/electronica_digital> <http://schema.org/name> "Electrónica digital." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/electronica_digital> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/correction_programme> <http://schema.org/name> "correction programme." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/correction_programme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/dimostrazione_automatica_di_teoremi> <http://schema.org/name> "Dimostrazione automatica di teoremi." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/dimostrazione_automatica_di_teoremi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmierung> <http://schema.org/name> "Programmierung." .
<http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .