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...

Hind- and Midfoot Motion After Ankle Arthrodesis

Foot & ankle international, 2015-12, Vol.36 (12), p.1430-1437

2015

Volltextzugriff (PDF)

Radiolunate and Radioscapholunate Arthrodeses as Treatments for Rheumatoid and Psoriatic Arthritis: Long-Term Follow-Up

The Journal of hand surgery (American ed.), 2012, Vol.37 (1), p.55-62

2012

Volltextzugriff (PDF)

Conservative treatment of a calcaneal avulsion fracture partly consisting of a large bone spur

Current orthopaedic practice, 2013-05, Vol.24 (3), p.355-357

2013

Volltextzugriff (PDF)

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

1997, 2013

Volltextzugriff (PDF)

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

1997th edition, 2013

Volltextzugriff (PDF)

Metabolic energy cost and external mechanical work of walking after ankle arthrodesis using different types of footwear

Gait & posture, 2009, Vol.30, p.S70-S70

2009

Volltextzugriff (PDF)

Metabolic cost and external mechanical work of walking after total ankle arthroplasty

Gait & posture, 2006-12, Vol.24, p.S156-S157

2006

Volltextzugriff (PDF)

Uniform Short Proofs for Classical Theorems

Notre Dame journal of formal logic, 2001, Vol.42 (2), p.121-127

Doets, Kees

2001

Volltextzugriff (PDF)

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

1, 1996

Volltextzugriff (PDF)

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

1, 1996

Volltextzugriff (PDF)

Levationis Laus

Journal of logic and computation, 1993-10, Vol.3 (5), p.487-516

DOETS, KEES

1993

Volltextzugriff (PDF)

Relatives of the Russell Paradox

Mathematical logic quarterly, 1999, Vol.45 (1), p.73-83

Doets, Kees

1999

Volltextzugriff (PDF)

Left termination turned into termination

Theoretical computer science, 1994-02, Vol.124 (1), p.181-188

Doets, Kees

1994

Volltextzugriff (PDF)

Socket wear in ceramic-on-polyethylene total hip arthroplasties Fixed versus rotating heads

Acta orthopaedica, 1998, Vol.69 (3), p.248-252

1998

Volltextzugriff (PDF)

A slight strengthening of a theorem of Blair and Kunen

Theoretical computer science, 1992-04, Vol.97 (1), p.175-181

Doets, Kees

1992

Volltextzugriff (PDF)

Axiomatizing Universal Properties of Quantifiers

The Journal of symbolic logic, 1991-09, Vol.56 (3), p.901-905

Doets, Kees

1991

Volltextzugriff (PDF)

Axiomatizing universal properties of quantifiers

The Journal of symbolic logic, 1991-09, Vol.56 (3), p.901-905

Doets, Kees

1991

Volltextzugriff (PDF)

Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties

Notre Dame journal of formal logic, 1989-03, Vol.30 (2), p.224-240

Doets, Kees

1989

Volltextzugriff (PDF)

Monadic PHI ¹1-theories of PHI ¹1-properties

Notre Dame journal of formal logic, 1989-01, Vol.30, p.224-240

Doets, Kees

1989

Volltextzugriff (PDF)

Elementary Properties of the Finite Ranks

Mathematical logic quarterly, 1998, Vol.44 (3), p.349-353

1998

Volltextzugriff (PDF)

On n-equivalence of binary trees

Notre Dame journal of formal logic, 1987, Vol.28 (2), p.238-243

DOETS, K

1987

Volltextzugriff (PDF)

Completeness and definability: applications of the Ehrenfeucht game in second-order and intensional logic

Doets, Kees

1987

Volltextzugriff (PDF)

Higher-Order Logic

Handbook of Philosophical Logic, p.275-329

Volltextzugriff (PDF)

Higher-Order Logic

Handbook of Philosophical Logic, p.189-243

Volltextzugriff (PDF)

A new definition of SLDNF-resolution

The journal of logic programming, 1994-02, Vol.18 (2), p.177-190

1994

Volltextzugriff (PDF)

1 – 25 von 88

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(18)
Mit Volltextzugriff
(86)

Publikationsform

Sprache

Englisch
(88)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Hind- and Midfoot Motion After Ankle Arthrodesis

Radiolunate and Radioscapholunate Arthrodeses as Treatments for Rheumatoid and Psoriatic Arthritis: Long-Term Follow-Up

Conservative treatment of a calcaneal avulsion fracture partly consisting of a large bone spur

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Metabolic energy cost and external mechanical work of walking after ankle arthrodesis using different types of footwear

Metabolic cost and external mechanical work of walking after total ankle arthroplasty

Uniform Short Proofs for Classical Theorems

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Levationis Laus

Relatives of the Russell Paradox

Left termination turned into termination

Socket wear in ceramic-on-polyethylene total hip arthroplasties Fixed versus rotating heads

A slight strengthening of a theorem of Blair and Kunen

Axiomatizing Universal Properties of Quantifiers

Axiomatizing universal properties of quantifiers

Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties

Monadic PHI ¹1-theories of PHI ¹1-properties

Elementary Properties of the Finite Ranks

On n-equivalence of binary trees

Completeness and definability: applications of the Ehrenfeucht game in second-order and intensional logic

Higher-Order Logic

Higher-Order Logic

A new definition of SLDNF-resolution

Suchergebnisse filtern