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
Database:WorldCat
Summary:

This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a  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.
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/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/pradikatenlogik> # Prädikatenlogik
    a schema:Intangible ;
    schema:name "Prädikatenlogik" ;
    .

<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.