|
|||||||||||||||
|
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
| Viser treff 1-1 av 1 |
|
|
||
| 1. | Holen, Bjarne; Hovland, Dag; Giese, Martin. Efficient Rule-Matching for Automated Coherent Logic. NIKT: Norsk IKT-konferanse for forskning og utdanning 2012 s. 25-36 UiO |
|