Using Sophisticated Models in Resolution Theorem Proving

by

Write The First Customer Review
Using Sophisticated Models in Resolution Theorem Proving 1980, Springer

ISBN-13: 9780387102313

Hardcover

Select
Using Sophisticated Models in Resolution Theorem Proving 1980, Springer

ISBN-13: 9783540102311

1980 edition

Trade paperback

Select