Title: Algorithmic Learning Theory - ALT '92: Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings / Edition 1, Author: Shuji Doshita
Title: Reversible Grammar in Natural Language Processing / Edition 1, Author: T. Strzalkowski
Title: Design of Hashing Algorithms / Edition 1, Author: Josef Pieprzyk
Title: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday, Author: John N. Crossley
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: Concrete Mathematics: A Foundation for Computer Science, Author: Ronald Graham
Title: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, Author: Yves Deville
Title: Visualization of Scientific Parallel Programs / Edition 1, Author: Gerald Tomas
Title: Rules in Database Systems: Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 1993, Author: Norman W. Paton
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / Edition 1, Author: Peter A. Fritzson
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Loop Parallelization / Edition 1, Author: Utpal Banerjee
Title: Computer Algorithms: String Pattern Matching Strategies / Edition 1, Author: Jun-ichi Aoe
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick

Pagination Links