Automated reasoning introduction and applications

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/792918624#Topic/automatisches_beweisverfahren
http://experiment.worldcat.org/entity/work/data/792918624#Topic/correction_programme
http://id.worldcat.org/fast/872390
http://id.loc.gov/authorities/subjects/sh85008180
http://id.worldcat.org/fast/822777
http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle
http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligenza_artificiale
http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/792918624#Topic/elaboratori_elettronici_programmazione
http://experiment.worldcat.org/entity/work/data/792918624#Topic/inteligencia_artificial
http://experiment.worldcat.org/entity/work/data/792918624#Topic/systeme_expert
http://experiment.worldcat.org/entity/work/data/792918624#Topic/prolog
http://id.loc.gov/authorities/subjects/sh85010111
http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique
http://experiment.worldcat.org/entity/work/data/792918624#Topic/artificiele_intelligentie_robotica_simulatie_graphics
http://experiment.worldcat.org/entity/work/data/792918624#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement
http://experiment.worldcat.org/entity/work/data/792918624#Topic/teoremes_demostracio_automatica
http://experiment.worldcat.org/entity/work/data/792918624#Topic/circuit_logique
http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacion_computadores_electronicos_digitales
http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement
http://experiment.worldcat.org/entity/work/data/792918624#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie
http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation
http://experiment.worldcat.org/entity/work/data/792918624#Topic/intel_ligencia_artificial
http://experiment.worldcat.org/entity/work/data/792918624#Topic/logique_formelle
http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstliche_intelligenz
http://experiment.worldcat.org/entity/work/data/792918624#Topic/dimostrazione_automatica_di_teoremi
http://experiment.worldcat.org/entity/work/data/792918624#Topic/temps_reel
http://experiment.worldcat.org/entity/work/data/792918624#Topic/programacio_ordinadors
http://id.worldcat.org/fast/817247
http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/792918624#Topic/demostracion_automatica_de_teoremas
http://experiment.worldcat.org/entity/work/data/792918624#Topic/electronica_digital
http://experiment.worldcat.org/entity/work/data/792918624#Topic/raisonnement_automatise
http://experiment.worldcat.org/entity/work/data/792918624#Topic/langage_programmation

http://schema.org/author

http://worldcat.org/entity/person/id/2693719026
http://worldcat.org/entity/person/id/2638110574
http://worldcat.org/entity/person/id/2642636128
http://worldcat.org/entity/person/id/2628316193
http://worldcat.org/entity/person/id/2636336160

http://schema.org/contributor

http://worldcat.org/entity/person/id/2628316193
http://worldcat.org/entity/person/id/2636336160
http://worldcat.org/entity/person/id/2642636128
http://worldcat.org/entity/person/id/2638110574
http://worldcat.org/entity/person/id/2693719026

http://schema.org/creator

http://worldcat.org/entity/person/id/2693719026

http://schema.org/name

"Automated reasoning : Introduction and applications"
"Automated reasoning introduction and applications"
"Automated reasoning introduction and applications"@en
"Automated Reasoning : Introduction and Applications"
"*Automated reasoning : introduction and applications"
"Automated reasoning : introd. and applications"
"Automated reasoning : introduction and applications"
"Automated reasoning : introduction and applications [Hauptbd.]"

http://schema.org/workExample

http://www.worldcat.org/oclc/263445016
http://www.worldcat.org/oclc/318138460
http://www.worldcat.org/oclc/757040834
http://www.worldcat.org/oclc/634694102
http://www.worldcat.org/oclc/475933924
http://www.worldcat.org/oclc/830815696
http://www.worldcat.org/oclc/299416341
http://www.worldcat.org/oclc/802519899
http://www.worldcat.org/oclc/909747835
http://www.worldcat.org/oclc/901954146
http://www.worldcat.org/oclc/24870961
http://www.worldcat.org/oclc/802899726
http://www.worldcat.org/oclc/10099218
http://www.worldcat.org/oclc/630457706
http://www.worldcat.org/oclc/696262329
http://www.worldcat.org/oclc/636242686
http://www.worldcat.org/oclc/567737890
http://www.worldcat.org/oclc/453308496
http://www.worldcat.org/oclc/797240000

Artificiële intelligentie. Robotica. Simulatie. Graphics.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Artificiële intelligentie. Robotica. Simulatie. Graphics."