skip to content
A resolution principle for a logic with restricted quantifiers Preview this item
ClosePreview this item
Checking...

A resolution principle for a logic with restricted quantifiers

Author: Hans-Jürgen Bürckert
Publisher: Berlin [u.a.] : Springer, 1991.
Dissertation: Teilw. zugl.: Kaiserslautern, Univ., Diss.
Series: Lecture notes in computer science, 568.
Edition/Format:   Computer file : Thesis/dissertation : EnglishView all editions and formats
Summary:

This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hans-Jürgen Bürckert
ISBN: 0387550348 9780387550343 3540550348 9783540550341
OCLC Number: 873613294
Description: X, 116 S. : graph. Darst.
Contents: Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.
Series Title: Lecture notes in computer science, 568.
Responsibility: H.-J. Bürckert.

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/873613294> # A resolution principle for a logic with restricted quantifiers
    a bgn:ComputerFile, schema:CreativeWork, bgn:Thesis ;
   bgn:inSupportOf "Teilw. zugl.: Kaiserslautern, Univ., Diss." ;
   library:oclcnum "873613294" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20828894#Place/berlin_u_a> ; # Berlin u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/stufe_1> ; # Stufe 1
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/eingeschrankter_quantor> ; # Eingeschränkter Quantor
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/pradikatenlogik> ; # Prädikatenlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/problemlosen> ; # Problemlösen
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/20828894#Topic/restriktion_mathematik> ; # Restriktion (Mathematik)
   schema:creator <http://experiment.worldcat.org/entity/work/data/20828894#Person/burckert_hans_jurgen> ; # Hans-Jürgen Bürckert
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/20828894> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20828894#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "A resolution principle for a logic with restricted quantifiers" ;
   schema:productID "873613294" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/873613294#PublicationEvent/berlin_u_a_springer_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/20828894#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/3-540-55034-8> ;
   schema:workExample <http://worldcat.org/isbn/9780387550343> ;
   schema:workExample <http://worldcat.org/isbn/9783540550341> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-55034-8> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/873613294> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/20828894#Person/burckert_hans_jurgen> # Hans-Jürgen Bürckert
    a schema:Person ;
   schema:familyName "Bürckert" ;
   schema:givenName "Hans-Jürgen" ;
   schema:name "Hans-Jürgen Bürckert" ;
   schema:sameAs <http://d-nb.info/gnd/112250823> ;
    .

<http://experiment.worldcat.org/entity/work/data/20828894#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/873613294> ; # A resolution principle for a logic with restricted quantifiers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/20828894#Topic/eingeschrankter_quantor> # Eingeschränkter Quantor
    a schema:Intangible ;
   schema:name "Eingeschränkter Quantor" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/20828894#Topic/restriktion_mathematik> # Restriktion (Mathematik)
    a schema:Intangible ;
   schema:name "Restriktion (Mathematik)" ;
    .

<http://worldcat.org/isbn/9780387550343>
    a schema:ProductModel ;
   schema:isbn "0387550348" ;
   schema:isbn "9780387550343" ;
    .

<http://worldcat.org/isbn/9783540550341>
    a schema:ProductModel ;
   schema:isbn "3540550348" ;
   schema:isbn "9783540550341" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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