WorldCat Linked Data Explorer

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

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

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "TPHOLs 2007"
  • "TPHOLs 2007"@en

author

contributor

creator

editor

genre

http://schema.org/genre

  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Online-Publikation"
  • "Conference proceedings"
  • "Ressources Internet"
  • "Electronic books"
  • "Electronic books"@en
  • "Kongress"

name

http://schema.org/name

  • "Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10 - 13, 2007; proceedings"
  • "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings"
  • "Theorem Proving in Higher Order Logics"
  • "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.)"
  • "Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings"@en
  • "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings"
  • "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings"@en
  • "Theorem proving in higher order logics : 20th international conference ; proceedings"
  • "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings"@en
  • "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings"
  • "Theorem proving in higher order logic 20th International Conference, TPHOLS 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings"
  • "Theorem proving in higher order logics 20th international conference ; proceedings"

workExample