Cargando…

Norge prøver seg i CERN

Detalles Bibliográficos
Autor principal:	Dybing, A
Lenguaje:	nor
Publicado:	1985
Materias:	CERN Membership
Acceso en línea:	http://cds.cern.ch/record/714312

Ejemplares similares

Bör Sverige lafmna CERN?
Publicado: (1978)

El CERN acepta el reingreso de España
por: MacLiman, A
Publicado: (1982)

L'Iran entre au CERN
Publicado: (2001)

Maintenir les collaborations du CERN
Publicado: (1992)

Tens of Romanian scientists work at CERN
por: Silian, Sidonia
Publicado: (2007)

Les scandinaves se joignent au CERN
Publicado: (1993)

Le Brésil se rapproche du CERN
Publicado: (2002)

Genève, siège du CERN depuis 50 ans
por: Schouwey, P
Publicado: (2004)

Suisse et Super-CERN. Un arbitrage délicat
Publicado: (1967)

Coopération nucléaire européenne: la Hongrie entre au CERN
Publicado: (1992)

le PMI italiane bussano alle porte del CERN
Publicado: (2007)

Membership of CERN
Publicado: (1993)

CERN-teknologi - En støtte til utvikling av ny teknologi i Norge
por: Lein, M
Publicado: (1980)

Going global
por: Banks, Michael
Publicado: (2010)

Norge i CERN
Publicado: (1982)

Norge bidrar med 2 mill. årlig til den kjernefysiske forskning
Publicado: (1961)

CERN arrangerer sommerskole i Norge
Publicado: (2008)

CERN's kjerneknuser blir kanskje plassert i Norge
Publicado: (1965)

Norge bør med i nytt CERN-anlegg
Publicado: (1970)

Uhelds-magneten i CERN prøver igen
Publicado: (2009)

Procedure over Applications for Membership - Memorandum by the President
Publicado: (1955)

Procedure over Applications for Membership
Publicado: (1955)

Procedure over Applications for Membership - Memorandum by the President
Publicado: (1955)

Norge bør satse for å få CERN-anlegg
Publicado: (1965)

The Move Prover
por: Zhong, Jingyi Emma, et al.
Publicado: (2020)

Implementing Superposition in iProver (System Description)
por: Duarte, André, et al.
Publicado: (2020)

12th Seminar ved Norges Tekniske Universitetsbibliotek
por: Hegseth, Bjørn
Publicado: (1995)

An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982)

Dynamics of the Bell Prover, II
por: Ruegg, Fillmer W., et al.
Publicado: (1990)

Kali Cyanate: Provers Needed
por: Tyrrell, J. D.
Publicado: (1888)

The Higher-Order Prover Leo-II
por: Benzmüller, Christoph, et al.
Publicado: (2015)

A Woman’s International Provers’ Association
por: Penfield, Sophia
Publicado: (1894)

CERN, europeiskt samarbete i praktiken
por: Wannberg, L
Publicado: (1958)

Seventeen provers of the world: foreword by Dana S. Scott
por: Hutchison, David, et al.
Publicado: (2006)

Den teknologiske sida av CERN
por: Øverås, H
Publicado: (1980)

Prolog Technology Reinforcement Learning Prover: (System Description)
por: Zombori, Zsolt, et al.
Publicado: (2020)

CERN
Publicado: (2007)

A Fully Automatic Theorem Prover with Human-Style Output
por: Ganesalingam, M., et al.
Publicado: (2016)

GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
por: Olšák, Miroslav
Publicado: (2020)

Ønsker seg en petaflop
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_efm114udl5cgtltm1i3i13rvgc