WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1104424053

Fifth Conference on automated deduction, les Arcs, France, July 8-11, 1980

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Automated deduction"@en
  • "Automated deduction"

author

contributor

creator

editor

genre

http://schema.org/genre

  • "Conference proceedings"
  • "Kongress (Les Arcs ; 1980)"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Kongress"@en
  • "Kongress"
  • "Congressen (vorm)"@en
  • "Electronic books"@en
  • "Les Arcs (1980)"@en
  • "Congressi"
  • "Kongreß"@en
  • "Kongreß"

name

http://schema.org/name

  • "5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980"
  • "5th Conference on automated deduction Les Arcs, July 8-11, 1980"
  • "5th Conference on Automated Deduction : Les Arcs,France, July 8-11, 1980"
  • "Fifth Conference on automated deduction, les Arcs, France, July 8-11, 1980"@en
  • "5th Conference on Automated Deduction"
  • "5. Conference on automated deduction"
  • "Fifth conference on automated deduction Les Arcs, France, July 8-11, 1980"
  • "5th CONFERENCE ON AUTOMATED DEDUCTION : Les Arcs, France, July 8-11, 1980"
  • "5th Conference on automated deduction Les Arcs, France, July 8-11, 1980"@en
  • "5. Conference on Automated Deduction : Les Arcs, France, 1980"
  • "Fifth conference on automated deduction.> 5th conference on automated deduction, Les Arcs, France, July 8-11, 1980"
  • "5th Conference on automated deduction : Les Arcs, July 8-11, 1980"
  • "5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980"
  • "5th Conference on Automated Deduction, Les Arcs, France, 1980"@en
  • "(5.) Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980"
  • "5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980"
  • "5th Conference on automated deduction"@en
  • "5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980"
  • "5. conference on automated deduction : Les Arcs, France, July 8-11, 1980"

workExample