You are here

Back to top

Page Not Found...

We're Sorry, the page you are looking for could not be found.

Please try another search, or click the logo at the top left to return to the home page. If you still cannot find the information you seek, please contact us.

Browse Books | Rivendell Bookstore

You are here

Back to top

Browse Books

Combinatorics on Traces (Lecture Notes in Computer Science #454) Cover Image
$54.99
Usually Ships in 1-5 Days
Concur '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension (Lecture Notes in Computer Science #458) Cover Image
By Joseph C. M. Baeten (Editor), Jan W. Klop (Editor)
$54.99
Usually Ships in 1-5 Days
Logic Programming '89 Cover Image
By Koichi Furukawa (Editor), Hozumi Tanaka (Editor), Tetsunosuke Fujisaki (Editor)
$54.99
Usually Ships in 1-5 Days
Fundamentals of Artificial Intelligence Research: International Workshop Fair '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings Cover Image
By Philippe Jorrand (Editor), Jozef Kelemen (Editor)
$54.99
Usually Ships in 1-5 Days
Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992. Proceedings Cover Image
By Deepak Kapur (Editor)
$109.99
Usually Ships in 1-5 Days
Constructivity in Computer Science: Summer Symposium, San Antonio, Tx, June 19-22, 1991. Proceedings (Lecture Notes in Computer Science #613) Cover Image
By J. Paul Jr. Myers (Editor), Michael J. O'Donnell (Editor)
$54.99
Usually Ships in 1-5 Days
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Cover Image
By Andrei Voronkov (Editor)
$54.99
Usually Ships in 1-5 Days
Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science #656) Cover Image
By Michael Rusinowitch (Editor), Jean-Luc Remy (Editor)
$54.99
Usually Ships in 1-5 Days
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings Cover Image
By Gerhard Brewka (Editor), Klaus P. Jantke (Editor), Peter H. Schmitt (Editor)
$54.99
Usually Ships in 1-5 Days
Resolution Methods for the Decision Problem Cover Image
$54.99
Usually Ships in 1-5 Days
Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings Cover Image
By Andrei Voronkov (Editor)
$54.99
Usually Ships in 1-5 Days
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science #792) Cover Image
By Neil Jones (Editor), Masami Hagiya (Editor), Masahiko Sato (Editor)
$54.99
Usually Ships in 1-5 Days

Pages