UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Regional variations in the extent and pattern of grey matter demyelination in multiple sclerosis: a comparison between the cerebral cortex, cerebellar cortex, deep grey matter nuclei and the spinal cord

Journal of neurology, neurosurgery and psychiatry, 2009-02, Vol.80 (2), p.182-187

2009

Volltextzugriff (PDF)

Spinal cord grey matter lesions in multiple sclerosis detected by post-mortem high field MR imaging

Multiple sclerosis, 2009-02, Vol.15 (2), p.180-188

2009

Volltextzugriff (PDF)

A window of opportunity for no treatment in early multiple sclerosis?

Multiple sclerosis, 2010-06, Vol.16 (6), p.756-759

2010

Volltextzugriff (PDF)

Multiple sclerosis findings in the spinal cord

Expert review of neurotherapeutics, 2007-09, Vol.7 (9), p.1203-1211

2007

Volltextzugriff (PDF)

The Theory and Computation of Knapsack Functions

Operations research, 1966-11, Vol.14 (6), p.1045-1074

1966

Volltextzugriff (PDF)

Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem

Journal of the Society for Industrial and Applied Mathematics, 1962-06, Vol.10 (2), p.305-313

Gilmore, P. C.

1962

Volltextzugriff (PDF)

A Linear Programming Approach to the Cutting-Stock Problem

Operations research, 1961-12, Vol.9 (6), p.849-859

1961

Volltextzugriff (PDF)

Description of the Green Propellant Infusion Mission (GPIM) mission system

2014 IEEE Aerospace Conference, 2014, p.1-13

2014

Volltextzugriff (PDF)

Protein adsorption and human osteoblast-like cell attachment and growth on alkylthiol on gold self-assembled monolayers

Journal of biomedical materials research, 2002-01, Vol.59 (1), p.84-99

2002

Volltextzugriff (PDF)

Some forms of completeness

The Journal of symbolic logic, 1962-09, Vol.27 (3), p.344-352

Gilmore, P. C.

1962

Volltextzugriff (PDF)

A Proof Method for Quantification Theory: Its Justification and Realization

IBM journal of research and development, 1960-01, Vol.4 (1), p.28-35

Gilmore, P. C.

1960

Volltextzugriff (PDF)

A Characterization of Comparability Graphs and of Interval Graphs

Canadian journal of mathematics, 1964, Vol.16, p.539-548

1964

Volltextzugriff (PDF)

NaDSyL and some applications

Computational Logic and Proof Theory, 2005, p.153-166

2005

Volltextzugriff (PDF)

Multistage Cutting Stock Problems of Two and More Dimensions

Operations research, 1965-02, Vol.13 (1), p.94-120

1965

Volltextzugriff (PDF)

Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem

Operations research, 1964-10, Vol.12 (5), p.655-679

1964

Volltextzugriff (PDF)

A Linear Programming Approach to the Cutting Stock Problem--Part II

Operations research, 1963-12, Vol.11 (6), p.863-888

1963

Volltextzugriff (PDF)

A logic for category theory

Theoretical computer science, 1993-04, Vol.111 (1), p.211-252

1993

Volltextzugriff (PDF)

Logical foundations for programming semantics

Theoretical computer science, 1993-04, Vol.111 (1), p.253-290

1993

Volltextzugriff (PDF)

A Solvable Case of the Traveling Salesman Problem

Proceedings of the National Academy of Sciences - PNAS, 1964-02, Vol.51 (2), p.178-181

1964

Volltextzugriff (PDF)

D. van Dantzig. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 123–135

The Journal of symbolic logic, 1956-09, Vol.21 (3), p.323-324

Gilmore, P. C.

1956

Volltextzugriff (PDF)

Money-wasting codes

National civic review, 1967-11, Vol.56 (10), p.572-595

Gilmore, C. P.

1967

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic

The Journal of symbolic logic, 1975-06, Vol.40 (2), p.299-304

1975

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic, New York, 1974

The Journal of symbolic logic, 1975-06, Vol.40 (2), p.299-304

1975

Volltextzugriff (PDF)

Chorea: a late complication of a subdural hematoma

Neurology, 1979-07, Vol.29 (7), p.1044-1044

1979

Volltextzugriff (PDF)

An intensional type theory: motivation and cut-elimination

The Journal of symbolic logic, 2001-03, Vol.66 (1), p.383-400

Gilmore, Paul C

2001

Volltextzugriff (PDF)

1 – 25 von 1.249

Menü

Weitere Dienste

Einstellungen

Regional variations in the extent and pattern of grey matter demyelination in multiple sclerosis: a comparison between the cerebral cortex, cerebellar cortex, deep grey matter nuclei and the spinal cord

Spinal cord grey matter lesions in multiple sclerosis detected by post-mortem high field MR imaging

A window of opportunity for no treatment in early multiple sclerosis?

Multiple sclerosis findings in the spinal cord

The Theory and Computation of Knapsack Functions

Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem

A Linear Programming Approach to the Cutting-Stock Problem

Description of the Green Propellant Infusion Mission (GPIM) mission system

Protein adsorption and human osteoblast-like cell attachment and growth on alkylthiol on gold self-assembled monolayers

Some forms of completeness

A Proof Method for Quantification Theory: Its Justification and Realization

A Characterization of Comparability Graphs and of Interval Graphs

NaDSyL and some applications

Multistage Cutting Stock Problems of Two and More Dimensions

Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem

A Linear Programming Approach to the Cutting Stock Problem--Part II

A logic for category theory

Logical foundations for programming semantics

A Solvable Case of the Traveling Salesman Problem

D. van Dantzig. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 123–135

Money-wasting codes

Meeting of the Association for Symbolic Logic

Meeting of the Association for Symbolic Logic, New York, 1974

Chorea: a late complication of a subdural hematoma

An intensional type theory: motivation and cut-elimination

Suchergebnisse filtern