search for books and compare prices
Gordon Plotkin has written 7 work(s)
Search for other authors with the same name
displaying 1 to 7 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Hardcover:
9780521518253 | 1 edition (Cambridge Univ Pr, October 30, 2009), cover price $190.00
Product Description: The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers selected for this special issue discuss various aspects of computational methods, algorithm and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval...read more
Paperback:
9783540457794 | Springer-Verlag New York Inc, May 30, 2007, cover price $99.00 | About this edition: The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing.
(view table of contents)
Hardcover:
9780262161886 | Mit Pr, May 15, 2000, cover price $17.75
Product Description: This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field...read more
Paperback:
9783540590484 | Springer Verlag, March 1, 1995, cover price $129.00 | About this edition: This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
Product Description: The contributors to Logical Environments cover four main themes: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants...read more (view table of contents, read Amazon.com's description)
Hardcover:
9780521433129 | Cambridge Univ Pr, July 1, 1993, cover price $140.00 | About this edition: The contributors to Logical Environments cover four main themes: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.
Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. (view table of contents)
Hardcover:
9780937073711 | Stanford Univ Center for the Study, February 1, 1992, cover price $65.00
Paperback:
9780937073704 | Stanford Univ Center for the Study, February 1, 1992, cover price $30.00 | About this edition: Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information.
Product Description: Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics...read more
Paperback:
9780262519304 | Mit Pr, October 15, 1991, cover price $60.00 | About this edition: Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming.
displaying 1 to 7 |
at end