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
10 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
AED701
Binding:
Hardback
Release:
05 Mar 2021
Language:
English
International Edition
Ships within 22-24 Days Explain..
2.
Computation and Reasoning
Computation and Reasoning
By: Zhaohui Luo
Publisher: Oxford University Press
No Review Yet
AED371
Binding:
Hardback
Release:
31 Mar 1994
Language:
English
International Edition
Ships within 12-14 Days Explain..
3.
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
AED360
Binding:
Paperback
Release:
13 Jul 2018
Language:
English
Available
Ships within 14-16 Days Explain..
4.
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
AED360
Binding:
Hardback
Release:
13 Feb 2017
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Types for Proofs and Programs
Types for Proofs and Programs
By: Robert Pollack, Paul Callaghan, James McKinna, Zhaohui Luo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
20 Feb 2002
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
By: Stergios Chatzikyriakidis, Zhaohui Luo
Publisher: John Wiley & Sons Inc
No Review Yet
AED36
Binding:
Digital (delivered electronically)
Release:
18 Dec 2020
Language:
English
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: Luo Zhaohui Luo, Chatzikyriakidis Stergios Chatzikyriakidis
Publisher: Springer Nature B.V.
No Review Yet
AED240
Binding:
Paperback
Release:
11 Feb 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
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
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
9.
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
AED63
Binding:
Hardback
Release:
31 Dec 1997
Language:
Chinese
Out of Stock
Notify me when this book is in stockNotify Me
10.
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
AED447
Binding:
Digital (delivered electronically)
Release:
01 Jan 1994
Out of Stock
Notify me when this book is in stockNotify Me
No more records found