Title: Inside Computer Understanding: Five Programs Plus Miniatures / Edition 1, Author: R. C. Schank
Title: Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies / Edition 1, Author: John Laird
Title: A Systolic Array Optimizing Compiler / Edition 1, Author: Monica S. Lam
Title: Automatic Programming Applied to VLSI CAD Software: A Case Study, Author: Dorothy E. Setliff
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Systolic Algorithms / Edition 1, Author: David J. Evans
Title: Formal Description of Programming Concepts / Edition 1, Author: Erich J. Neuhold
Title: First-Order Programming Theories / Edition 1, Author: Tamas Gergely
Title: The Design and Analysis of Algorithms / Edition 1, Author: Dexter C. Kozen
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Zohar Manna
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Efficient Algorithms for Listing Combinatorial Structures, Author: Leslie Ann Goldberg
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: A Practical Theory of Programming / Edition 1, Author: Eric C.R. Hehner
Title: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
Title: Concrete Mathematics: A Foundation for Computer Science / Edition 2, Author: Ronald Graham
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Subrecursive Programming Systems: Complexity & Succinctness / Edition 1, Author: James S. Royer
Title: Grammar Systems: A Grammatical Approach to Distribution and Cooperation / Edition 1, Author: Erzsebet Csuhaj-Varju

Pagination Links