Opening book details…
About this nonfiction
Using Sophisticated Models In Resolution Theorem Proving (lecture Notes In Computer Science) by David M. Sandford (eds.) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- David M. Sandford (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1980
- Language
- EN
- ISBN
- 9780387102313
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Stem
More by David M. Sandford (eds.)
Browse all works by David M. Sandford (eds.)
Similar books
- Grammar and L Forms: An Introduction (Lecture Notes in Computer Science (91)) — Derick Wood (1980)
- Verifying Concurrent Processes Using Temporal Logic (lecture Notes In Computer Science) — Brent T. Hailpern (auth.) (1982)
- Lecture Notes in Computer Science: Group Theoretic Algorithms and Graph Isomorphism (Lecture Notes in Computer Science) — Christoph M. Hoffmann (1982)
- Algebraic Semantics (Lecture Notes in Computer Science) — Irène Guessarian (auth.) (1981)
- Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science) — Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (2013)
- Exercises In Computer Systems Analysis (lecture Notes In Computer Science) — Prof. Dr. W. Everling (auth.) (1975)