A many-sorted calculus based on resolution and paramodulation

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

http://schema.org/Book
http://schema.org/CreativeWork
http://www.productontology.org/id/Thesis

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstmatige_intelligentie
http://experiment.worldcat.org/entity/work/data/10617032#Topic/semantique
http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstliche_intelligenz
http://experiment.worldcat.org/entity/work/data/10617032#Topic/intelligence_artificielle
http://id.worldcat.org/fast/817247
http://experiment.worldcat.org/entity/work/data/10617032#Topic/inteligencia_artificial
http://experiment.worldcat.org/entity/work/data/10617032#Topic/automatic_theorem_proving
http://experiment.worldcat.org/entity/work/data/10617032#Topic/dimostrazione_automatica_di_teoremi
http://experiment.worldcat.org/entity/work/data/10617032#Topic/resolution_probleme
http://experiment.worldcat.org/entity/work/data/10617032#Topic/artificial_intelligence
http://experiment.worldcat.org/entity/work/data/10617032#Topic/mathematics_general
http://experiment.worldcat.org/entity/work/data/10617032#Topic/calcul_automatique
http://experiment.worldcat.org/entity/work/data/10617032#Topic/theoremes_demonstration_automatique
http://experiment.worldcat.org/entity/work/data/10617032#Topic/bewijs_wetenschap
http://experiment.worldcat.org/entity/work/data/10617032#Topic/intelligence_artificielle_raisonnement
http://experiment.worldcat.org/entity/work/data/10617032#Topic/mehrsortige_pradikatenlogik
http://experiment.worldcat.org/entity/work/data/10617032#Topic/redeneren
http://id.loc.gov/authorities/subjects/sh85008180
http://id.worldcat.org/fast/822777
http://experiment.worldcat.org/entity/work/data/10617032#Topic/demonstration_de_theoreme
http://id.loc.gov/authorities/subjects/sh85010111
http://experiment.worldcat.org/entity/work/data/10617032#Topic/demonstration_theoreme
http://experiment.worldcat.org/entity/work/data/10617032#Topic/automatisches_beweisverfahren
http://id.worldcat.org/fast/1091282
http://experiment.worldcat.org/entity/work/data/10617032#Topic/intelligenza_artificiale
http://experiment.worldcat.org/entity/work/data/10617032#Topic/raisonnement_automatique
http://experiment.worldcat.org/entity/work/data/10617032#Topic/intel_ligencia_artificial
http://id.loc.gov/authorities/subjects/sh85111790

http://schema.org/author

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

http://schema.org/contributor

http://id.loc.gov/authorities/names/n78056034
http://worldcat.org/entity/person/id/2628842775
http://viaf.org/viaf/153586031

http://schema.org/creator

http://worldcat.org/entity/person/id/2628842775
http://worldcat.org/entity/person/id/2692475466
http://worldcat.org/entity/person/id/2657327361

http://schema.org/genre

"Mehrsortige Theoremprüfung"
"Paramodulation"
"Resolutionskalkül"
"Electronic books"
"Electronic books"@en

http://schema.org/name

"A many-sorted calculus based on resolution and paramodulation"@it
"A many-sorted calculus based on resolution and paramodulation"
"A many-sorted calculus based on resolution and paramodulation"@en
"A Many-Sorted Calculus Based on Resolution and Paramodulation"
"A many-sorted calculus based on resolutin and paramodulation"
"A Many-sorted calculus based on resolution and paramodulation"

http://schema.org/workExample

http://www.worldcat.org/oclc/475899792
http://www.worldcat.org/oclc/574434431
http://www.worldcat.org/oclc/263152724
http://www.worldcat.org/oclc/15591420
http://www.worldcat.org/oclc/606100714
http://www.worldcat.org/oclc/440620513
http://www.worldcat.org/oclc/897716122
http://www.worldcat.org/oclc/911214416
http://www.worldcat.org/oclc/804385271
http://www.worldcat.org/oclc/797147343
http://www.worldcat.org/oclc/897646779
http://www.worldcat.org/oclc/888908854
http://www.worldcat.org/oclc/493184358
http://www.worldcat.org/oclc/878754787
http://www.worldcat.org/oclc/46059951
http://www.worldcat.org/oclc/911334910
http://www.worldcat.org/oclc/476630089
http://www.worldcat.org/oclc/720756602

Artificial intelligence.

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
"Artificial intelligence."