skip to content
A many-sorted calculus based on resolution and paramodulation Preview this item
ClosePreview this item
Checking...

A many-sorted calculus based on resolution and paramodulation

Author: Christoph Walther
Publisher: London : Pitman ; Los Altos, Calif. : Morgan Kaufmann Publishers, 1987.
Series: Research notes in artificial intelligence (London, England)
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Mehrsortige Theoremprüfung
Paramodulation
Resolutionskalkül
Additional Physical Format: Online version:
Walther, Christoph.
Many-sorted calculus based on resolution and paramodulation.
London : Pitman ; Los Altos, Calif. : Morgan Kaufmann Publishers, 1987
(OCoLC)574434431
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Christoph Walther
ISBN: 0934613494 9780934613491 0273087185 9780273087182
OCLC Number: 15591420
Notes: Revised translation of thesis (doctoral)--University of Karlsruhe, 1984.
Description: 160 pages : illustrations ; 25 cm.
Series Title: Research notes in artificial intelligence (London, England)
Responsibility: Christoph Walther.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/15591420> # A many-sorted calculus based on resolution and paramodulation
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/15591420#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "15591420" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/10617032#Place/los_altos_calif> ; # Los Altos, Calif.
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/mehrsortige_pradikatenlogik> ; # Mehrsortige Prädikatenlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Thing/theorems> ; # Theorems
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/bewijs_wetenschap> ; # Bewijs (wetenschap)
   schema:about <http://dewey.info/class/511.30285/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/redeneren> ; # Redeneren
   schema:about <http://experiment.worldcat.org/entity/work/data/10617032#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/100386491> ; # Christoph Walther
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/10617032> ;
   schema:genre "Mehrsortige Theoremprüfung"@en ;
   schema:genre "Resolutionskalkül"@en ;
   schema:genre "Paramodulation"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0268-7526> ; # Research notes in artificial intelligence,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/10617032#Series/research_notes_in_artificial_intelligence_london_england> ; # Research notes in artificial intelligence (London, England)
   schema:isSimilarTo <http://www.worldcat.org/oclc/574434431> ;
   schema:name "A many-sorted calculus based on resolution and paramodulation"@en ;
   schema:productID "15591420" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/15591420#PublicationEvent/london_pitman_los_altos_calif_morgan_kaufmann_publishers_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/10617032#Agent/morgan_kaufmann_publishers> ; # Morgan Kaufmann Publishers
   schema:publisher <http://experiment.worldcat.org/entity/work/data/10617032#Agent/pitman> ; # Pitman
   schema:url <http://www.gbv.de/dms/hbz/toc/ht003000466.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2021656&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9780934613491> ;
   schema:workExample <http://worldcat.org/isbn/9780273087182> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8726883> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/15591420> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Agent/morgan_kaufmann_publishers> # Morgan Kaufmann Publishers
    a bgn:Agent ;
   schema:name "Morgan Kaufmann Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Place/los_altos_calif> # Los Altos, Calif.
    a schema:Place ;
   schema:name "Los Altos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Series/research_notes_in_artificial_intelligence_london_england> # Research notes in artificial intelligence (London, England)
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/15591420> ; # A many-sorted calculus based on resolution and paramodulation
   schema:name "Research notes in artificial intelligence (London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/bewijs_wetenschap> # Bewijs (wetenschap)
    a schema:Intangible ;
   schema:name "Bewijs (wetenschap)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/mehrsortige_pradikatenlogik> # Mehrsortige Prädikatenlogik
    a schema:Intangible ;
   schema:name "Mehrsortige Prädikatenlogik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/10617032#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique"@fr ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/100386491> # Christoph Walther
    a schema:Person ;
   schema:familyName "Walther" ;
   schema:givenName "Christoph" ;
   schema:name "Christoph Walther" ;
    .

<http://worldcat.org/isbn/9780273087182>
    a schema:ProductModel ;
   schema:isbn "0273087185" ;
   schema:isbn "9780273087182" ;
    .

<http://worldcat.org/isbn/9780934613491>
    a schema:ProductModel ;
   schema:isbn "0934613494" ;
   schema:isbn "9780934613491" ;
    .

<http://worldcat.org/issn/0268-7526> # Research notes in artificial intelligence,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/15591420> ; # A many-sorted calculus based on resolution and paramodulation
   schema:issn "0268-7526" ;
   schema:name "Research notes in artificial intelligence," ;
    .

<http://www.worldcat.org/oclc/574434431>
    a schema:CreativeWork ;
   rdfs:label "Many-sorted calculus based on resolution and paramodulation." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/15591420> ; # A many-sorted calculus based on resolution and paramodulation
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.