Sciweavers

62
Voted
CL
2000
Springer

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

14 years 8 months ago
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Steffen Hölldobler, Hans-Peter Störr
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where CL
Authors Steffen Hölldobler, Hans-Peter Störr
Comments (0)