MPG.eBooks - Search Results - (((( table algorithms ) or ( types algorithms ))) or ( tableau algorithm ))

Search alternatives:
table algorithms » tables algorithms , stable algorithms , table algorithm
types algorithms » type algorithms , type algorithm , trees algorithms

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking...”

by Stirrup, Jen, Oliva Ramos, Ruben
Published 2017

Packt Publishing

Table of Contents: “... -- Customer Feedback -- Table of Contents -- Preface -- Chapter 1: Advanced Analytics with R and Tableau...”

by Nerode, Anil, Shore, Richard A.
Published 1997

Springer New York

Table of Contents: “...I Propositional Logic -- 1 Orders and Trees -- 2 Propositions, Connectives and Truth Tables -- 3...”

by Nerode, Anil, Shore, Richard A.
Published 1993

Springer New York

Table of Contents: “...I: Prepositional Logic -- I.1 Orders and Trees -- I.2 Propositions, Connectives and Truth Tables...”

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... -- Incremental Tabling for Query-Driven Propagation of Logic Program Updates -- Tracking Data-Flow with Open...”

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Communication for Tighter Cooperation -- Arc Consistency Algorithms via Iterations of Subsumed Functions -- AVAL...”

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... of verified software -- The tableau-based theorem prover 3 T A P for multiple-valued logics -- Analytica — A...”