Uclid: Model checking, Boolean algebra, Decision problem

Name: Uclid: Model checking, Boolean algebra, Decision problem
Brand: OmniScriptum
SKU: 9d91ef435ce2ddb3873e8a9fd098b1bb

1/1

Priser från

539,25

Utvalda

Beskrivning

Uclid: Model checking, Boolean algebra, Decision problem

Jämför webbutiker (2)

Shop

Pris

539,25 kr

Til butik

539,25 kr

Til butik

Beskrivning (0)

Uclid: Model checking, Boolean algebra, Decision problem

Märke	OmniScriptum
EAN	9786200673664

OmniScriptum

Advice (complexity): Computational Complexity theory, Turing machine, Decision problem, class, Boolean circuit, Nondeterministic algorithm

Betascript Publishers

Tautology (logic): Propositional Formula, Boolean Satisfiability Problem, Tautology, Logical Truth, Tractatus Logico-...

Independently Published

Applied Integer Linear Programming: From Boolean Algebra to Nondeterministic Turing Machine

Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the...