Name: Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Author: David M. Sandford
ISBN: 9783540102311

Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)

David M. Sandford

0

Author Description

null

Page Count:
242

Publication Date:
1980-01-01

ISBN-10:
3540102310

ISBN-13:
9783540102311

Science

Community Tags

Similar Books

The basic symbols of the American political tradition

Causality and Causal Modelling in the Social Sciences

Save Buk: PNG Upper Secondary - Chemistry, Grade 11

Research required to support comprehensive nuclear test ban treaty monitoring

Science policy and research management in the Balkan countries

Harnessing Science and Technology for America's Economic Future

Forgiveness and power in the age of atrocity

See All

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!