Bevishjelperen : et interaktivt bevisverktøy for 1. ordens predikat-logikk Vedlegg : programlistinger, vedlegg B

Arne-Kristian Groven
Bok · Bokmål · 1991

Utgitt	Oslo : [A.-K. Groven] , 1991
Omfang	127 s.
Emner	Abel Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 hovedoppgaver informatikk databehandling prover abel