Ontic : a knowledge representation system for mathematics

David A. McAllester
Bok · Språk ikke angitt · 1989

Utgitt	Cambridge, Mass. : MIT Press , c1989
Omfang	xiv, 158 s.
Emner	(Matematikk) Automatic theorem proving Ontic (Computer system) Automatisk bevisføring : (NO-TrBIB)REAL009781 Vis mer... Bevisføring Bevisføring - Databehandling Kunstig intelligens
ISBN	0262132354