skip to content
Computational aspects of an order-sorted logic with term declarations Preview this item
ClosePreview this item
Checking...

Computational aspects of an order-sorted logic with term declarations

Author: Manfred Schmidt-Schauss
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in computer science, 395.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Schmidt-Schauss, M. (Manfred).
Computational aspects of an order-sorted logic with term declarations.
Berlin ; New York : Springer-Verlag, ©1989
(DLC) 89021790
(OCoLC)20318854
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Manfred Schmidt-Schauss
ISBN: 9783540467748 3540467742
OCLC Number: 556424207
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 171 pages).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Series Title: Lecture notes in computer science, 395.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: Order-sorted logic with term declarations
Responsibility: M. Schmidt-Schauss.
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/556424207> # Computational aspects of an order-sorted logic with term declarations
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "556424207" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/deduction_automatique> ; # déduction automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/resolution_probleme> ; # résolution problème
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_1er_ordre> ; # logique 1er ordre
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/formalisme> ; # formalisme
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/representation_connaissance> ; # représentation connaissance
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1126867> ; # Sorting (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/tri_informatique> ; # Tri (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/35403687#Topic/tri_ordinateurs> ; # Tri (Ordinateurs)
    schema:alternateName "Order-sorted logic with term declarations" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/110583906> ; # Manfred Schmidt-Schauss
    schema:datePublished "1989" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/35403687> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/35403687#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/35403687#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/20318854> ;
    schema:name "Computational aspects of an order-sorted logic with term declarations"@en ;
    schema:productID "556424207" ;
    schema:url <http://dx.doi.org/10.1007/BFb0024065> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/20318854.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540467748> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/556424207> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/35403687#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/556424207> ; # Computational aspects of an order-sorted logic with term declarations
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/556424207> ; # Computational aspects of an order-sorted logic with term declarations
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/deduction_automatique> # déduction automatique
    a schema:Intangible ;
    schema:name "déduction automatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_1er_ordre> # logique 1er ordre
    a schema:Intangible ;
    schema:name "logique 1er ordre"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/representation_connaissance> # représentation connaissance
    a schema:Intangible ;
    schema:name "représentation connaissance"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/resolution_probleme> # résolution problème
    a schema:Intangible ;
    schema:name "résolution problème"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/tri_informatique> # Tri (Informatique)
    a schema:Intangible ;
    schema:name "Tri (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/35403687#Topic/tri_ordinateurs> # Tri (Ordinateurs)
    a schema:Intangible ;
    schema:name "Tri (Ordinateurs)"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1126867> # Sorting (Electronic computers)
    a schema:Intangible ;
    schema:name "Sorting (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/110583906> # Manfred Schmidt-Schauss
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Schmidt-Schauss" ;
    schema:givenName "Manfred" ;
    schema:name "Manfred Schmidt-Schauss" ;
    .

<http://worldcat.org/isbn/9783540467748>
    a schema:ProductModel ;
    schema:isbn "3540467742" ;
    schema:isbn "9783540467748" ;
    .

<http://www.worldcat.org/oclc/20318854>
    a schema:CreativeWork ;
    rdfs:label "Computational aspects of an order-sorted logic with term declarations." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/556424207> ; # Computational aspects of an order-sorted logic with term declarations
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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