skip to content
First-order logic and automated theorem proving Preview this item
ClosePreview this item
Checking...

First-order logic and automated theorem proving

Author: Melvin Fitting
Publisher: New York : Springer-Verlag, ©1990.
Series: Texts and monographs in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

A mathematical monograph on first-order logic. Applications to automated theorem-proving are considered and Prolog programmes provided. May serve as a first text on formal logic for graduate students  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

Additional Physical Format: Online version:
Fitting, Melvin, 1942-
First-order logic and automated theorem proving.
New York : Springer-Verlag, ©1990
(OCoLC)643925647
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Melvin Fitting
ISBN: 0387972331 9780387972336 3540972331 9783540972334
OCLC Number: 20828057
Description: xiii, 242 pages : illustrations ; 24 cm.
Series Title: Texts and monographs in computer science.
Responsibility: Melvin Fitting.
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/20828057> # First-order logic and automated theorem proving
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "20828057" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/pradikatenlogik> ; # Prädikatenlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/stufe_1> ; # Stufe 1
    schema:about <http://experiment.worldcat.org/entity/work/data/22481171#Topic/mathematische_logik> ; # Mathematische Logik
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1990" ;
    schema:creator <http://viaf.org/viaf/46837603> ; # Melvin Fitting
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/22481171> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22481171#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/643925647> ;
    schema:name "First-order logic and automated theorem proving"@en ;
    schema:productID "20828057" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20828057#PublicationEvent/new_york_springer_verlag_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/22481171#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387972336.pdf> ;
    schema:url <http://swbplus.bsz-bw.de/bsz021100454cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540972334> ;
    schema:workExample <http://worldcat.org/isbn/9780387972336> ;
    umbel:isLike <http://d-nb.info/901009598> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20828057> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/22481171#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/22481171#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/20828057> ; # First-order logic and automated theorem proving
    schema:name "Texts and monographs in computer science." ;
    schema:name "Texts and monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/22481171#Topic/automatic_theorem_proving> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/22481171#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/22481171#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/22481171#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/22481171#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
    schema:name "Théorèmes--Démonstration automatique"@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/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/46837603> # Melvin Fitting
    a schema:Person ;
    schema:birthDate "1942" ;
    schema:familyName "Fitting" ;
    schema:givenName "Melvin" ;
    schema:name "Melvin Fitting" ;
    .

<http://worldcat.org/isbn/9780387972336>
    a schema:ProductModel ;
    schema:isbn "0387972331" ;
    schema:isbn "9780387972336" ;
    .

<http://worldcat.org/isbn/9783540972334>
    a schema:ProductModel ;
    schema:isbn "3540972331" ;
    schema:isbn "9783540972334" ;
    .

<http://www.worldcat.org/oclc/643925647>
    a schema:CreativeWork ;
    rdfs:label "First-order logic and automated theorem proving." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20828057> ; # First-order logic and automated theorem proving
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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