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 |