UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 83

Sortiert nach

The occurrence of dystonia in upper-limb multiple sclerosis tremor

Multiple sclerosis, 2015-12, Vol.21 (14), p.1847-1855

2015

Volltextzugriff (PDF)

An Integrated Web Platform for the Mizar Mathematical Library

Intelligent Computer Mathematics, p.141-146

Volltextzugriff (PDF)

A Formalization of the Change of Variables Formula for Integrals in mathlib

Intelligent Computer Mathematics, p.3-18

Volltextzugriff (PDF)

Experiments with Automated Reasoning in the Class

Intelligent Computer Mathematics, p.287-304

Volltextzugriff (PDF)

Graded Rings in Lean’s Dependent Type Theory

Intelligent Computer Mathematics, p.122-137

Volltextzugriff (PDF)

Working with Families of Inverse Functions

Intelligent Computer Mathematics, p.222-237

Volltextzugriff (PDF)

Heat Shock Protein 72 Modulates Pathways of Stress-induced Apoptosis

The Journal of biological chemistry, 1998-07, Vol.273 (27), p.17147-17153

1998

Volltextzugriff (PDF)

Hall’s Theorem for Enumerable Families of Finite Sets

Intelligent Computer Mathematics, p.107-121

Volltextzugriff (PDF)

Targeted Configuration of an SMT Solver

Intelligent Computer Mathematics, p.256-271

Volltextzugriff (PDF)

Lemmaless Induction in Trace Logic

Intelligent Computer Mathematics, p.191-208

Volltextzugriff (PDF)

Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification

Intelligent Computer Mathematics, p.241-255

Volltextzugriff (PDF)

Pediatric Retinal Detachment Due to Coats' Disease Diagnosed with Bedside Emergency Department Ultrasound

The Journal of emergency medicine, 2009-11, Vol.37 (4), p.390-392

2009

Volltextzugriff (PDF)

High and low efficacy therapy in secondary progressive multiple sclerosis

Multiple sclerosis, 2022, Vol.28, p.6-6

2022

Volltextzugriff (PDF)

Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis

Intelligent Computer Mathematics, p.92-106

Volltextzugriff (PDF)

CICM’22 System Entries

Intelligent Computer Mathematics, p.344-348

Volltextzugriff (PDF)

Formalising the Kruskal-Katona Theorem in Lean

Intelligent Computer Mathematics, p.75-91

Volltextzugriff (PDF)

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas

Intelligent Computer Mathematics, p.272-284

Volltextzugriff (PDF)

On the Formalization of the Heat Conduction Problem in HOL

Intelligent Computer Mathematics, p.21-37

Volltextzugriff (PDF)

Formalising Basic Topology for Computational Logic in Simple Type Theory

Intelligent Computer Mathematics, p.56-74

Volltextzugriff (PDF)

Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms

Intelligent Computer Mathematics, p.209-221

Volltextzugriff (PDF)

Learning to Reason Assisted by Automated Reasoning

Intelligent Computer Mathematics, p.305-320

Volltextzugriff (PDF)

Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR

Intelligent Computer Mathematics, p.323-328

Volltextzugriff (PDF)

Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

Intelligent Computer Mathematics, p.38-55

Volltextzugriff (PDF)

An Evaluation of NLP Methods to Extract Mathematical Token Descriptors

Intelligent Computer Mathematics, p.329-343

Volltextzugriff (PDF)

Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs

Intelligent Computer Mathematics, p.147-161

Volltextzugriff (PDF)

1 – 25 von 83

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(71)
Mit Volltextzugriff
(79)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(57)
Physical Sciences
(34)
Mathematics
(32)
Computer Science
(29)
Technology
(29)
Computer Science, Artificial Intelligence
(26)
Computer Science, Interdisciplinary Applications
(25)
Life Sciences & Biomedicine
(18)
Humans
(12)
Male
(8)
Animals
(7)
Biological And Medical Sciences
(6)
Medicin Och Hälsovetenskap
(6)
Female
(5)
Computer Science, Theory & Methods
(4)
Isabelle
(4)
Medical Sciences
(4)
Nutrition & Dietetics
(4)
Software
(4)
Adult
(3)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

The occurrence of dystonia in upper-limb multiple sclerosis tremor

An Integrated Web Platform for the Mizar Mathematical Library

A Formalization of the Change of Variables Formula for Integrals in mathlib

Experiments with Automated Reasoning in the Class

Graded Rings in Lean’s Dependent Type Theory

Working with Families of Inverse Functions

Heat Shock Protein 72 Modulates Pathways of Stress-induced Apoptosis

Hall’s Theorem for Enumerable Families of Finite Sets

Targeted Configuration of an SMT Solver

Lemmaless Induction in Trace Logic

Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification

Pediatric Retinal Detachment Due to Coats' Disease Diagnosed with Bedside Emergency Department Ultrasound

High and low efficacy therapy in secondary progressive multiple sclerosis

Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis

CICM’22 System Entries

Formalising the Kruskal-Katona Theorem in Lean

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas

On the Formalization of the Heat Conduction Problem in HOL

Formalising Basic Topology for Computational Logic in Simple Type Theory

Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms

Learning to Reason Assisted by Automated Reasoning

Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR

Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

An Evaluation of NLP Methods to Extract Mathematical Token Descriptors

Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs

Suchergebnisse filtern