Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7338 publikasjoner funnet
  • Utgiver

A proof theoretic characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1996. Fagartikkel

Automatic can separation Ukjent, vol. III, pp. 954 954 , 1996. Vitenskapelig artikkel

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

BILD-96 1996. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral