TextBook on Automated Reasoning 
Author Message
 TextBook on Automated Reasoning

Dear comp.lang.prologers,

Could anyone of you suggest a good textbook introducing formal logic
and its application to automated theorem proving, and automated
reasoning in general.

I am specifically interested in the application of automated reasoning
to the synthesis of hardware systems from formal specifications.

Thanks a lot, Fabien

PS.Apologies for those of you having already read that message
cross-posted to sci.logic.



Mon, 24 May 2004 15:42:34 GMT  
 TextBook on Automated Reasoning

Quote:
> Could anyone of you suggest a good textbook introducing formal logic
> and its application to automated theorem proving, and automated
> reasoning in general.

> I am specifically interested in the application of automated reasoning
> to the synthesis of hardware systems from formal specifications.

Automated Reasoning: Introduction and Applications, 2nd ed.
   by L. Wos, R. Overbeek, R. Lusk, J. Boyle
   McGraw Hill, 1992

      From the automated reasoning group at Argonne Natl Laboratory
      just west of Chicago. Comes with a copy of their Otter system,
      also available at http://www-unix.mcs.anl.gov/AR/otter/.
      Includes a section on digital logic verification.

Quote:
> Thanks a lot, Fabien

> PS.Apologies for those of you having already read that message
> cross-posted to sci.logic.

* Nick Geovanis         Ignorance and blind passions abound, pervading
| IT Computing Svcs        everywhere like particles of dust.
| Northwestern Univ     Desire and hatred arising out of conflict and

+------------------->            -- Shinran Shonin


Tue, 01 Jun 2004 22:18:41 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. 4th Int.Conf.on Logic Programming and Automated Reasoning

2. LPAR'92 - Conference on Logic Programming and Automated Reasoning

3. LPAR'92 - Conference on Logic Programming and Automated Reasoning

4. CFP (2nd): IJCAR 2001 - International Joint Conference on Automated Reasoning

5. Automated Reasoning vs. LP, Reference

6. Call For Papers - IJCAI'97 Workshop on Model Based Automated Reasoning

7. Last CFP: ECAI96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems

8. CFP: ECAI96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems

9. Automated Reasoning Workshop (revised)

10. CFP: Logic Programming and Automated Reasoning (LPAR'94)

11. 4th Int.Conf.on Logic Programming and Automated Reasoning

12. LPAR: Conference on Logic Programming and Automated Reasoning

 

 
Powered by phpBB® Forum Software