El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische Universität München.

Autor
  • Lawrence Paulson (es)
rdfs:comment
  • El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische Universität München. (es)
dbpedia-owl:genre
Género
foaf:homepage
foaf:isPrimaryTopicOf
rdfs:label
  • Isabelle (es)
dbpedia-owl:latestReleaseVersion
  • Isabelle2012 (xsd:string)
Lenguaje Programación
  • Standard ML (es)
Licencia
dbpedia-owl:license
foaf:name
  • Isabelle (es)
Nombre
  • Isabelle (es)
dbpedia-owl:operatingSystem
Is foaf:primaryTopic of
Sistema Operativo
  • Linux, Mac OS X y Windows (es)
Sitio Web
dcterms:subject
rdf:type
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 64965 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2747 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64510586 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [12 values]
Is dbpedia-owl:wikiPageWikiLink of
Última Versión
  • Isabelle2012 (es)