Omskrivningsteknikker i system for automatisk bevisføring Vedlegg D : programlisting

Laszlo Reithaug Gyene
Bok · Bokmål · 1990

Utgitt	Oslo : [L. R. Gyene] , 1990
Omfang	103 s.
Emner	Bevisteori Databehandling Informatikk Informatikkfaget Vis mer... Omskrivning informatikk hovedoppgave automatisk bevisføring