david a plaisted

David A. Plaisted, Yunshan Zhu · Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH

170 sayfa · 1999

Artificial intelligence

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

47 sayfa · 1979

Automatic theorem proving

David A. Plaisted · Dept. of Computer Science, University of Illinois at Champaign-Urbana

46 sayfa · 1979

Automatic theorem proving

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

40 sayfa · 1979

Automatic control / Computer programs / Programming languages (Electronic computers)

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

15 sayfa · 1978

Algebra, Boolean / Boolean Algebra / Computational complexity / Data processing

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

14 sayfa · 1979

Computational complexity / Predicate calculus

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

18 sayfa · 1979

Propositional calculus / Inference / Polynomials

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

34 sayfa · 1978

Verification / Recursive programming / Computer programs / Termination / Computr programs

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

11 sayfa · 1979

Data processing / Graph theory / NP-complete problems / Matching theory

David A. Plaisted · Vieweg

167 sayfa · 1997

Automatic theorem proving

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

53 sayfa · 1978

Recursion theory / Computer programming / Rewriting systems (Computer science) / Automatic theorem proving / Electronics digital computers

David A. Plaisted · Dept. of Computer Science, University of Illinois at Urbana-Champaign

Sayfa sayısı yok · 1979

Predicate calculus / Automatic theorem proving