The UCLA Computer Science Department Quarterly
Title | The UCLA Computer Science Department Quarterly PDF eBook |
Author | |
Publisher | |
Pages | |
Release | 1986 |
Genre | Computers |
ISBN |
Computer Science & Technology
Title | Computer Science & Technology PDF eBook |
Author | Michael L. Brodie |
Publisher | |
Pages | 92 |
Release | 1980 |
Genre | Artificial intelligence |
ISBN |
Advances in Computers
Title | Advances in Computers PDF eBook |
Author | |
Publisher | Academic Press |
Pages | 495 |
Release | 1988-07-01 |
Genre | Computers |
ISBN | 0080566596 |
Advances in Computers
Research
Title | Research PDF eBook |
Author | |
Publisher | |
Pages | 130 |
Release | 1987 |
Genre | Computers |
ISBN |
Algebra, Meaning, and Computation
Title | Algebra, Meaning, and Computation PDF eBook |
Author | Kokichi Futatsugi |
Publisher | Springer |
Pages | 679 |
Release | 2006-06-21 |
Genre | Computers |
ISBN | 3540354646 |
This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
Learning to Solve Problems by Searching for Macro-operators
Title | Learning to Solve Problems by Searching for Macro-operators PDF eBook |
Author | Richard E. Korf |
Publisher | Financial Times/Prentice Hall |
Pages | 166 |
Release | 1985 |
Genre | Computers |
ISBN |
This monograph explores the idea of learning efficient strategies for solving problems by searching for macro-operators.
New Serial Titles
Title | New Serial Titles PDF eBook |
Author | |
Publisher | |
Pages | 1748 |
Release | 1992 |
Genre | Periodicals |
ISBN |
A union list of serials commencing publication after Dec. 31, 1949.