WorldCat Linked Data Explorer

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

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

Automation in language translation and theorem proving Some applications of mathematical logic

Open All Close All

type

about

contributor

creator

name

http://schema.org/name

  • "Automation in language translation and theorem proving : some applications of mathematical logic"
  • "Automation in language translation and theorem proving : Some applications of mathematical logic"
  • "Automation in language translation and theorem proving; some applications of mathematical logic"
  • "Automation in language translation and theorem proving. Some applications of mathematical logic"
  • "Automation in language translation and theorem proving Some applications of mathematical logic"@en
  • "Automation in language translation and theorem proving some applications of mathematical logic"
  • "Automation in Language Translation and Theorem Proving"

workExample