Search alternatives:
foundation lectures » foundation features, foundation gestures, foundation structures
lean foundation » design foundation, learning foundations
Cover Image
Read Now

1
by Niemann, Jörg, Reich, Benedikt, Stöhr, Carsten
Published 2024
Springer Berlin Heidelberg
Table of Contents: “...Introduction -- 5S - Seiri, Seiton, Seiso, Seiketsu, Shitsuke -- Lean Six Sigma -- Poka Yoke...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
“...Lecture Notes in Artificial Intelligence...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic -- Nonclassical Logics...”
Cover Image
Read Now

5
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... environment -- LeanT A P: Lean tableau-based theorem proving -- FINDER: Finite domain enumerator system...”
Cover Image
Read Now

6
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- System description: leanK 2.0 -- Extensional higher-order resolution -- X.R.S: Explicit reduction systems...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis...”
Cover Image
Read Now

8
Published 2021
Springer International Publishing
Table of Contents: “... (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... (System Description) -- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical...”
Cover Image
Read Now

10
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Implicit coercions in type systems -- A two-level approach towards lean proof-checking...”
Cover Image
Read Now

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... semantic tableaux and integer programming -- leanEA: A lean evolving algebra compiler -- A proof system...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- The Lean Maturity Measure Assessment and Implementation -- Agile Databases -- Transitioning to XP -- Large...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... – Unit Testing of J2EE Applications – -- Application of Lean and Agile Principles to Workflow Management...”
Cover Image
Read Now

14
Published 2023
Springer Nature Switzerland
Table of Contents: “... Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description...”
Cover Image
Read Now

15
Published 2020
Springer International Publishing
Table of Contents: “... study in functional analysis -- A Lean tactic for normalising ring expressions with exponents (short...”
Cover Image
Read Now

16
Published 2014
Springer International Publishing
Table of Contents: “... -- M lean CoP: A Connection Prover for First-Order Modal Logic -- Optimal Tableaux-Based Decision...”
Cover Image
Read Now

17
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... a ‘lean’ formal method -- Static analysis to identify invariants in RSML specifications -- Partition...”
Cover Image
Read Now

18
Published 2022
Springer International Publishing
Table of Contents: “... -- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think -- Foundations...”
Cover Image
Read Now

19
Published 2023
Springer Nature Switzerland
Table of Contents: “...LESS is More: LEan Computing for Selective Summaries -- Optimisation of Matrix Production Recon...”
Cover Image
Read Now

20
Published 2023
Springer Nature Switzerland
Table of Contents: “... Productivity and Reducing Waste -- Lean Six Sigma and Industry 4.0 Integration: LSS 4.0...”