Filters
Advanced Search Browse by Genre

Found 23 results for "David A. Plaisted"

Kidnapped
Kidnapped

by Robert Louis Stevenson

I will begin the story of my adventures with a certain morning early in the month of June, the year of grace 1751, when ...

1886 352 ed.
Juvenile fiction Fiction History
A Wonder Book for Girls and Boys
A Wonder Book for Girls and Boys

by Nathaniel Hawthorne

Há bastante tempo, o autor tem a opinião de que muitos dos mitos clássicos poderiam se tornar uma excelente leitura para...

1800 144 ed.
Classical Mythology Juvenile literature Greek Mythology
Schweizerische Robinson
Schweizerische Robinson

by Johann David Wyss

1828 95 ed.
Fiction Survival Family life
Robinson Crusoe
Robinson Crusoe

by Daniel Defoe, J. J. Grandville

I was born in the year 1632 in the city of York, of a good family, though not of that country, my father being a foreign...

1686 2420 ed.
Crusoe, robinson (fictiti... British and irish fiction... Survival
Treasure Island
Treasure Island

by Robert Louis Stevenson

SQUIRE TRELAWNEY, Doctor Livesey, and the rest of these gentlemen having asked me to write down the whole particulars ab...

1880 1988 ed.
Fiction Treasure Island (Imaginar... Treasure-trove
Theorem proving with abstraction, part I
Theorem proving with abstraction, part I

by David A. Plaisted

1979 1 ed.
Automatic theorem proving
Theorem proving with abstraction, part II
Theorem proving with abstraction, part II

by David A. Plaisted

1979 1 ed.
Automatic theorem proving
Restricted oracles
Restricted oracles

by David A. Plaisted

1979 1 ed.
Automatic control Computer programs Programming languages (El...
An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability
An exponential lower bound for a restricted class of monoton...

by David A. Plaisted

1978 1 ed.
Algebra, Boolean Boolean Algebra Computational complexity
Complete problems in the first-order predicate calculus
Complete problems in the first-order predicate calculus

by David A. Plaisted

1979 1 ed.
Computational complexity Predicate calculus
Inference rules for unsatisfiability
Inference rules for unsatisfiability

by David A. Plaisted

1979 1 ed.
Propositional calculus Inference Polynomials
Well-founded orderings for proving termination of systems of rewrite rules
Well-founded orderings for proving termination of systems of...

by David A. Plaisted

1978 1 ed.
Verification Recursive programming Computer programs
An NP-complete matching problem
An NP-complete matching problem

by David A. Plaisted

1979 1 ed.
Data processing Graph theory NP-complete problems
The efficiency of theorem proving strategies
The efficiency of theorem proving strategies

by David A. Plaisted

1997 1 ed.
Automatic theorem proving
A recursively defined ordering for proving termination of term rewriting systems
A recursively defined ordering for proving termination of te...

by David A. Plaisted

1978 1 ed.
Recursion theory Computer programming Rewriting systems (Comput...
Theorem proving with abstraction
Theorem proving with abstraction

by David A. Plaisted

1979 1 ed.
Predicate calculus Automatic theorem proving
An Old-Fashioned Girl
An Old-Fashioned Girl

by Louisa May Alcott

"It's time to go to the station, Tom."

1869 359 ed.
Conduct of life Juvenile literature Juvenile fiction
Efficiency of Theorem Proving Strategies
Efficiency of Theorem Proving Strategies

by David A. Plaisted, Yunshan Zhu

The efficiency of a theorem prover is more directly influenced by the total number of inferences performed before a proo...

1999 3 ed.
Artificial intelligence
Jokes to Tell the Queen
Jokes to Tell the Queen

by Caroline Plaisted, P. Smith

1996 2 ed.
English wit and humor, so... Humor, form, comic strips... Queens
Fast and Curious
Fast and Curious

by P. R. Smart, P. R. Goddard

1974 1 ed.
Vocabulary Vocabulary, juvenile lite...