zhaohui luo author - Books - 24x7 online bookstore Bookswagon.ae
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
8 results found
List viewGrid view
Sort By:
1.
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
By: Stergios Chatzikyriakidis, Zhaohui Luo
Publisher: ISTE Ltd and John Wiley & Sons Inc
No Review Yet
AED688
Binding:
Hardback
Release:
05 Mar 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
2.
Computation and Reasoning
Computation and Reasoning
By: Zhaohui Luo
Publisher: Oxford University Press
No Review Yet
AED358
Binding:
Hardback
Release:
31 Mar 1994
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Types for Proofs and Programs
Types for Proofs and Programs
By: Zhaohui Luo, Paul Callaghan, James McKinna, Robert Pollack
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED250
Binding:
Paperback
Release:
20 Feb 2002
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
Fo Jing Gu Shi
Fo Jing Gu Shi
By: Zhaohui Luo, Yili Jiang
Publisher: Hua Wen Chu Ban She: Jing Xiao Xin Hua Shu Dian
No Review Yet
AED68
Binding:
Hardback
Release:
31 Dec 1997
Language:
Chinese
Out of Stock
Notify me when this book is in stockNotify Me
5.
Types for Proofs and Programs
Types for Proofs and Programs
By: Zhaohui Luo, James McKinna, Professor of Physics and Biophysics Paul Callaghan (Massey University)
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
6.
Computation and Reasoning: A Type Theory for Computer Science. International Series of Monographs on Computer Science.
Computation and Reasoning: A Type Theory for Computer Science. International Series of Monographs on Computer Science.
By: Zhaohui Luo
Publisher: Oxford University Press, USA
No Review Yet
AED489
Binding:
Digital (delivered electronically)
Release:
01 Jan 1994
Out of Stock
Notify me when this book is in stockNotify Me
7.
Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics
By: Stergios Chatzikyriakidis, Zhaohui Luo
Publisher: Springer International Publishing AG
No Review Yet
AED182
Binding:
Hardback
Release:
13 Feb 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics
By: Stergios Chatzikyriakidis, Zhaohui Luo
Publisher: Springer International Publishing AG
No Review Yet
AED204
Binding:
Paperback
Release:
13 Jul 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found