Sciweavers

Share
CADE
1997
Springer

A Practical Integration of First-Order Reasoning and Decision Procedures

9 years 5 months ago
A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj Bjørner, Mark E. Stickel, Tom&aacut
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CADE
Authors Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
Comments (0)
books