登入選單
Google圖書搜尋
Comparison of the Axioms of Local and Global Unive...
作者
Marco Forti (matematico.) / Furio Honsell
出版1981
ISBN
OCLC:879101051
Set Theory with Free Construction Principles
作者
Marco Forti (matematico.) / Furio Honsell
出版1982
ISBN
OCLC:879101054
Foundations of Software Science and Computation St...
作者
Furio Honsell / Marino Miculan
出版Springer Science & Business Media, 2001-03-21
ISBN
9783540418641 / 3540418644
主題
Computers
A Natural Deduction Treatment of Operational Seman...
作者
Rod M. Burstall / Furio Honsell
出版1988
ISBN
OCLC:256148899
主題
Programming languages (Electronic computers)
A Framework for Defining Logics
作者
Robert Harper / Furio Honsell / Gordon Plotkin
出版1991
ISBN
OCLC:24187103
主題
Edinburgh LCF (Computer system)
Pre-logical Relations
作者
Furio Honsell / Donald Sannella / University of Edinburgh. Division of Informatics
出版1999
ISBN
OCLC:606153750
Models of Self-descriptive Set Theories
作者
Marco Forti / Furio Honsell
出版1988
ISBN
OCLC:19657967
主題
Set theory
A Framework for Defining Logics
作者
Robert Harper / Furio A. Honsell / Gordon Plotkin
出版1989
ISBN
OCLC:20588511
主題
Lambda calculus
De viribus quantitatis. Facsimile ad uso professio...
作者
Luca Pacioli
出版Aboca Edizioni, 2009
ISBN
STANFORD:36105115440807
主題
Mathematics
Prima che sia domani. Padri, figli, un'alleanza pe...
作者
Furio Honsell / Gabriele Giacomini
出版2014
ISBN
885752311X / 9788857523118
主題
Family & Relationships
Oltre Trieste
作者
Furio Honsell / Carlo Malinconico / Maurizio Maresca
出版Forum Edizioni, 2006
ISBN
8884203430 / 9788884203434
主題
Business & Economics
Curiosità e divertimenti con i numeri
作者
Furio Honsell / Giorgio Tomaso Bagni
出版2009
ISBN
8895642295 / 9788895642291
主題
Mathematics
L'algoritmo del parcheggio
作者
Furio Honsell
出版2007
ISBN
8804567252 / 9788804567257
主題
Mathematics
L'algoritmo del parcheggio
作者
Furio Honsell / Mondadori
出版2007
ISBN
OCLC:898504997
L'algoritmo del parcheggio
作者
Furio Honsell
出版2010
ISBN
OCLC:1020145453