WorldCat Linked Data Explorer

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

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

Theorem provers in circuit design : proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience Nijmegan, the Netherlands ... 1992

Open All Close All

type

about

http://schema.org/about

contributor

creator

genre

http://schema.org/genre

  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Congressen (vorm)"

name

http://schema.org/name

  • "Theorem provers in circuit design"
  • "Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992"
  • "Theorem provers in circuit design : proceedings of the IFIP TC 10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience : Nijmegen, the Netherlands, 22-24 June, 1992"
  • "Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992"
  • "Theorem provers in circuit design : proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience Nijmegan, the Netherlands ... 1992"@en
  • "Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992"
  • "Theorem provers in circuit design proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992"@en
  • "Theorem provers in circuit design proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992"

workExample