Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to A.P.I.C. Studies in Data Processing.   

Kreiseliana: about and around Georg Kreisel

Piergiorgio Odifreddi - Biography & Autobiography - 1996 - 495 pages
This multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating ...
Snippet view - About this book

Type Theory & Functional Programming

Simon Thompson - Computers - 1991 - 372 pages
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in ...
Snippet view - About this book

Logical Environments

Gerard Huet, Gordon Plotkin - Computers - 1993 - 338 pages
In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and ...
Limited preview - About this book

Computation as Logic

RenÚ Lalement - Computers - 1993 - 387 pages
Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This ...
Snippet view - About this book

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