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

The Mathematical Century: The 30 Greatest Problems of the Last 100 Years

Piergiorgio Odifreddi, Arturo Sangalli - Mathematics - 2006 - 204 pages
The twentieth century was a time of unprecedented development in mathematics, as well as in all sciences: more theorems were proved and results found in a hundred years than in ...
Limited preview - About this book

Typed Lambda Calculi and Applications: International Conference on Typed ...

Marc Bezem, Jan F. Groote - Computers - 1993 - 432 pages
This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a ...
Limited preview - About this book

Logical Environments

Gérard Huet, Gordon Plotkin - Computers - 1993 - 338 pages
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 ...
Limited preview - About this book

Typed Lambda Calculi and Applications: Third International ..., Volume 3

Philippe de Groote, J. Roger Hindley - Computers - 1997 - 404 pages
This text consitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA 1997. The 24 revised full papers presented ...
Limited preview - About this book

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