skip to content
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 Preview this item
ClosePreview this item
Checking...

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Author: W Bibel; Robert Kowalski
Publisher: Berlin ; New York : Springer-Verlag, 1980.
Series: Lecture notes in computer science, 87.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: W Bibel; Robert Kowalski
ISBN: 0387100091 9780387100098 3540100091 9783540100096
OCLC Number: 6532299
Description: vii, 385 pages ; 24 cm.
Contents: Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs as descriptions of computation.- Program synthesis from incomplete specifications.- A system for proving equivalences of recursive programs.- Variable elimination and chaining in a resolution-based prover for inequalities.- Decision procedures for some fragments of set theory.- Simplifying interpreted formulas.- Specification and verification of real-time, distributed systems using the theory of constraints.- Reasoning by plausible inference.- Logical support in a time-varying model.- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions.- An experiment with "Edinburgh LCF".- An approach to theorem proving on the basis of a typed lambda-calculus.- Adding dynamic paramodulation to rewrite algorithms.- Hyperparamodulation: A refinement of paramodulation.- The AFFIRM theorem prover: Proof forests and management of large proofs.- Data structures and control architecture for implementation of theorem-proving programs.- A note on resolution: How to get rid of factoring without loosing completeness.- Abstraction mappings in mechanical theorem proving.- Transforming matings into natural deduction proofs.- Analysis of dependencies to improve the behaviour of logic programs.- Selective backtracking for logic programs.- Canonical forms and unification.- Deciding unique termination of permutative rewriting systems: Choose your term algebra carefully.- How to prove algebraic inductive hypotheses without induction.- A complete, nonredundant algorithm for reversed skolemization.
Series Title: Lecture notes in computer science, 87.
Responsibility: edited by W. Bibel and R. Kowalski.

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/6532299> # 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "6532299" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104424053#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/demonstration_automatique> ; # démonstration automatique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/inteligencia_artificial> ; # Inteligência artificial
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/preuve_programme> ; # preuve programme
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424053#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/39467805> ; # W. Bibel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104424053#Person/kowalski_robert> ; # Robert Kowalski
   schema:creator <http://experiment.worldcat.org/entity/work/data/1104424053#Meeting/conference_on_automated_deduction_5th_1980_les_arcs_savoie_france> ; # Conference on Automated Deduction (5th : 1980 : Les Arcs, Savoie, France)
   schema:datePublished "1980" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104424053> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104424053#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980"@en ;
   schema:productID "6532299" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/6532299#PublicationEvent/berlin_new_york_springer_verlag_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104424053#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=87> ;
   schema:url <http://dx.doi.org/10.1007/3-540-10009-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540100096> ;
   schema:workExample <http://worldcat.org/isbn/9780387100098> ;
   umbel:isLike <http://d-nb.info/801115949> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/6532299> ;
    .


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/1104424053#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424053#Meeting/conference_on_automated_deduction_5th_1980_les_arcs_savoie_france> # Conference on Automated Deduction (5th : 1980 : Les Arcs, Savoie, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104424053#Place/les_arcs_savoie_france> ; # Les Arcs, Savoie, France)
   schema:name "Conference on Automated Deduction (5th : 1980 : Les Arcs, Savoie, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424053#Person/kowalski_robert> # Robert Kowalski
    a schema:Person ;
   schema:familyName "Kowalski" ;
   schema:givenName "Robert" ;
   schema:name "Robert Kowalski" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424053#Place/les_arcs_savoie_france> # Les Arcs, Savoie, France)
    a schema:Place ;
   schema:name "Les Arcs, Savoie, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424053#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/6532299> ; # 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
   schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1104424053#Topic/inteligencia_artificial> # Inteligência artificial
    a schema:Intangible ;
   schema:name "Inteligência artificial"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1104424053#Topic/theoremes_demonstration_automatique_congres> # Théorèmes--Démonstration automatique--Congrès
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique--Congrès"@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/39467805> # W. Bibel
    a schema:Person ;
   schema:birthDate "1938" ;
   schema:familyName "Bibel" ;
   schema:givenName "W." ;
   schema:name "W. Bibel" ;
    .

<http://worldcat.org/isbn/9780387100098>
    a schema:ProductModel ;
   schema:isbn "0387100091" ;
   schema:isbn "9780387100098" ;
    .

<http://worldcat.org/isbn/9783540100096>
    a schema:ProductModel ;
   schema:isbn "3540100091" ;
   schema:isbn "9783540100096" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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