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

Nonadiabatic Turbulence Driving during Gravitational Collapse

The Astrophysical journal, 2020-11, Vol.903 (2), p.136

2020

Volltextzugriff (PDF)

On the properties and implications of collapse-driven MHD turbulence

Monthly notices of the Royal Astronomical Society, 2024-04, Vol.530 (3), p.3431-3444

2024

Volltextzugriff (PDF)

The Fundamental Theorem of Algebra in ACL2

Electronic proceedings in theoretical computer science, 2018, Vol.280 (Proc. ACL2 2018), p.98-110

2018

Volltextzugriff (PDF)

The Cayley-Dickson Construction in ACL2

Electronic proceedings in theoretical computer science, 2017-05, Vol.249 (Proc. ACL2Workshop 2017), p.18-29

2017

Volltextzugriff (PDF)

Perfect Numbers in ACL2

Electronic proceedings in theoretical computer science, 2015-09, Vol.192 (Proc. ACL2 2015), p.53-59

2015

Volltextzugriff (PDF)

All Prime Numbers Have Primitive Roots

Electronic proceedings in theoretical computer science, 2022, Vol.359, p.9-18

2022

Volltextzugriff (PDF)

Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis

Electronic proceedings in theoretical computer science, 2014-06, Vol.152 (Proc. ACL2 2014), p.89-100

2014

Volltextzugriff (PDF)

A Free Group of Rotations of Rank 2

Electronic proceedings in theoretical computer science, 2022, Vol.359, p.76-82

2022

Volltextzugriff (PDF)

Using ACL2 To Teach Students About Software Testing

Electronic proceedings in theoretical computer science, 2022, Vol.359, p.19-32

2022

Volltextzugriff (PDF)

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent

Electronic proceedings in theoretical computer science, 2014-06, Vol.152 (Proc. ACL2 2014), p.101-110

2014

Volltextzugriff (PDF)

A Formalization of Powerlist Algebra in ACL2

Journal of automated reasoning, 2009-08, Vol.43 (2), p.139-172

Gamboa, Ruben A.

2009

Volltextzugriff (PDF)

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

1, 2014

Volltextzugriff (PDF)

How Computers Work: Computational Thinking for Everyone

Electronic proceedings in theoretical computer science, 2013-01, Vol.106 (Proc. TFPIE 2012), p.1-19

2013

Volltextzugriff (PDF)

Spatial and Temporal Diversity and Structure of Cursorial Spiders (Arachnida: Araneae) in a Fragmented Landscape in Yucatan, Mexico

The Southwestern entomologist, 2014-09, Vol.39 (3), p.555

2014

Volltextzugriff (PDF)

An Interpreter for Quantum Circuits

Electronic proceedings in theoretical computer science, 2013-04, Vol.114 (Proc. ACL2 2013), p.85-94

2013

Volltextzugriff (PDF)

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications: Preface

Electronic proceedings in theoretical computer science, 2020-09, Vol.327

2020

Volltextzugriff (PDF)

Implementing an Automatic Differentiator in ACL2

Electronic proceedings in theoretical computer science, 2011-10, Vol.70 (Proc. ACL2 2011), p.61-69

2011

Volltextzugriff (PDF)

Verifying Sierpiński and Riesel Numbers in ACL2

Electronic proceedings in theoretical computer science, 2011-10, Vol.70 (Proc. ACL2 2011), p.20-27

2011

Volltextzugriff (PDF)

Using Robotics and Game Design to Enhance Children's Self-Efficacy, STEM Attitudes, and Computational Thinking Skills

Journal of science education and technology, 2016-12, Vol.25 (6), p.860-876

2016

Volltextzugriff (PDF)

Interactive Theorem Proving: Preface of the Special Issue

Journal of automated reasoning, 2016-03, Vol.56 (3), p.201-203

2016

Volltextzugriff (PDF)

Interactive Theorem Proving

Journal of automated reasoning, 2016-01, Vol.56 (3), p.201-203

2016

Volltextzugriff (PDF)

Quadratic Extensions in ACL2

Electronic proceedings in theoretical computer science, 2020, Vol.327, p.75-86

2020

Volltextzugriff (PDF)

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses

Electronic proceedings in theoretical computer science, 2023, Vol.393, p.82-93

2023

Volltextzugriff (PDF)

Truly Modular (Co)datatypes for Isabelle/HOL

Interactive Theorem Proving, p.93-110

Volltextzugriff (PDF)

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Interactive Theorem Proving, p.77-92

Volltextzugriff (PDF)

1 – 25 von 187

Menü

Weitere Dienste

Einstellungen

Nonadiabatic Turbulence Driving during Gravitational Collapse

On the properties and implications of collapse-driven MHD turbulence

The Fundamental Theorem of Algebra in ACL2

The Cayley-Dickson Construction in ACL2

Perfect Numbers in ACL2

All Prime Numbers Have Primitive Roots

Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis

A Free Group of Rotations of Rank 2

Using ACL2 To Teach Students About Software Testing

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent

A Formalization of Powerlist Algebra in ACL2

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

How Computers Work: Computational Thinking for Everyone

Spatial and Temporal Diversity and Structure of Cursorial Spiders (Arachnida: Araneae) in a Fragmented Landscape in Yucatan, Mexico

An Interpreter for Quantum Circuits

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications: Preface

Implementing an Automatic Differentiator in ACL2

Verifying Sierpiński and Riesel Numbers in ACL2

Using Robotics and Game Design to Enhance Children's Self-Efficacy, STEM Attitudes, and Computational Thinking Skills

Interactive Theorem Proving: Preface of the Special Issue

Interactive Theorem Proving

Quadratic Extensions in ACL2

Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses

Truly Modular (Co)datatypes for Isabelle/HOL

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Suchergebnisse filtern