Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Categories and Computer Science.   

Category Theory and Computer Science: 7th International Conference, CTCS'97 ...

Eugenio Moggi, Giuseppe Rosolini - Computers - 1997 - 319 pages
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in ...
Limited preview - About this book

Logic, Mathematics, and Computer Science: Modern Foundations with Practical ...

Yves Nievergelt - Mathematics - 2015 - 391 pages
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number ...
Limited preview - About this book

Category Theory and Computer Science: Paris, France, September 3-6, 1991 ...

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Mathematics - 1991 - 304 pages
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory ...
Limited preview - About this book

Epistemic Logic for AI and Computer Science

J.-J. Ch. Meyer, W. van der Hoek - Computers - 2004 - 372 pages
A broad introduction to the subject; many exercises with full solutions are provided.
Limited preview - About this book

Information Flow: The Logic of Distributed Systems

Jon Barwise, Jerry Seligman - Computers - 1997 - 274 pages
Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is no consensus on what ...
Limited preview - About this book

Word Equations and Related Topics: Second International Workshop, IWWERT '91 ...

Habib Abdulrab, Jean-Pierre Pecuchet - Computers - 1993 - 214 pages
This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991 ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search