Nossum, Rolf, 1954-....
Nossum, Rolf Tomas, 1954-
Nossum, Rolf T. (Rolf Tomas), 1954-
Nossum, Rolf
Rolf Nossum
Nossum, Rolf T.
VIAF ID: 42482728 ( Personal )
Permalink: http://viaf.org/viaf/42482728
Preferred Forms
- 200 _ | ‡a Nossum ‡b Rolf
-
- 100 1 _ ‡a Nossum, Rolf T.
-
-
- 100 1 0 ‡a Nossum, Rolf T. ‡q (Rolf Tomas), ‡d 1954-
-
- 100 1 _ ‡a Nossum, Rolf Tomas ‡d 1954-
-
-
-
- 100 1 _ ‡a Nossum, Rolf, ‡d 1954-....
- 100 0 _ ‡a Rolf Nossum
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
ACAI'87 | |
Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 | |
Algebraic simplification in the PROVER system | |
A decidable multi-modal logic of context | |
Decision algorithms for program verification | |
Formal aspects of context | |
ISPEVAL delprosjekt mikroparallellitet i store datamaskiner : DECsystem-10, studium av et spesialtilfelle | |
Johannes Lohne : en fremragende vitenskapshistoriker og hans motsetningsfulle liv | |
Lineær algebra : kort og godt | |
Ole-Johan Dahl, en informatikk-pioner fra Agder | |
Programmer's guide to the PROVER system : THORALF - a theorem prover | |
A proof technique based on simplification | |
Terminalbruk mot Dec-10 | |
A uniform quantificational logic for algebraic notions of context |