Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms
math logarithms » matrix logarithms, smooth logarithms, parts logarithms
Cover Image
Read Now

1
Published 2022
DK Publishing
“...Understanding math has never been easier. Combining bold, elegant graphics with easy-to-understand...”
Cover Image
Read Now

2
by Herrick, Clyde N.
Published 1997
Newnes
Table of Contents: “... -- Logarithms -- Natural logarithms and exponential functions -- Fundamentals of trigonometry -- Vector...”
Cover Image
Read Now

3
by Mazzola, Guerino, Mannone, Maria, Pang, Yan
Published 2016
Springer International Publishing
Table of Contents: “..., Logarithms, and Normal Forms -- Complex Numbers -- Part IV: Graphs and Nerves -- Directed and Undirected...”
Cover Image
Read Now

4
by Stirrup, Jen, Oliva Ramos, Ruben
Published 2017
Packt Publishing
Table of Contents: “... -- Next steps -- Sharing our data analysis using Tableau -- Interpreting the results -- Summary -- Chapter...”
Cover Image
Read Now

5
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Calculating Inverses -- 1.3 Egyptian Algorithms for Arithmetic -- 1.4 Tableau Multiplication -- 1.5 Optimising...”
Cover Image
Read Now

6
by Beebe, Nelson H.F.
Published 2017
Springer International Publishing
Table of Contents: “... Numbers -- Roots -- Argument Reduction -- Exponential and Logarithm -- Trigonometric Functions...”
Cover Image
Read Now

7
by Bisdorff, Raymond
Published 2022
Springer International Publishing
Table of Contents: “...: Evaluation Models and Decision Algorithms -- 4. Building a Best Choice Recommendation -- 5. How to Create a...”
Cover Image
Read Now

8
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking...”
Cover Image
Read Now

9
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”
Cover Image
Read Now

11
Published 1996
Springer Vienna
Table of Contents: “...Resolution Games and Non-liftable Resolution Orderings -- A Tableau Calculus for Partial Functions...”
Cover Image
Read Now

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? -- Subquadratic Algorithms...”
Cover Image
Read Now

13
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance...”
Cover Image
Read Now

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic -- Bounded-Variable...”
Cover Image
Read Now

15
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... aspects of approximation algorithms -- Selected aspects of the calculus of self-modifiable algorithms...”
Cover Image
Read Now

16
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... extended with sets -- A fast garbage collection algorithm for WAM — based PROLOG -- A resolution variant...”
Cover Image
Read Now

17
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Robust Combinatorial Optimization with Exponential Scenarios -- Session 12 -- Approximation Algorithms...”
Cover Image
Read Now

18
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Reactive System Specifications by Tableau Method and Proof System -- Equational Abstraction Refinement...”
Cover Image
Read Now

19
by Balas, Egon
Published 2018
Springer International Publishing
Table of Contents: “... lift-and-project cuts and simple disjunctive cuts -- 9 Solving (CGLP)k on the LP simplex tableau -- 10...”
Cover Image
Read Now

20
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Experiments with Two Row Tableau Cuts -- An OPT?+?1 Algorithm for the Cutting Stock Problem with Constant...”