Publikationsansicht

ALC (2008)

Abstract

A formally verified prover for the

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.105.9367
Quelle	http://www.cs.us.es/~mjoseh/pub/2007-TPHOLs.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.126.6142, 10.1.1.2.7039, 10.1.1.3.4085, 10.1.1.14.3331, 10.1.1.65.2672, 10.1.1.101.580, 10.1.1.96.8620