Home Advanced Search
Advanced Search - Page 1
Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
- English
- Year: 1992
- Author: Barendregt H.P.;edited by Abramsky S., Gabbay D.M., Maibaum T.S.E.
Background Mathematical Structures
- DJVU
- English
- Year: 1995
- Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
- English
- Year: 1993
- Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
A new perspective on nonmonotonic logics
- English
- Year: 2016
- Author: Gabbay D.M., Schlechta K.
The SAGE Encyclopedia of Theory In Science, Technology, Engineering, And Mathematics
- English
- Year: 2023
- Author: Edited by
Mathematical problems from applied logic I / 2, Logics for the XXIst century
- English
- Year: 2007
- Author: Gabbay D.M. et al. (eds.)
What the Nation Really Needs to Know: The JNU Nationalism Lectures
- EPUB
- English
- Year: 2016
- Author: Edited by JNUTA
VLSI, microwave and wireless technologies : select proceedings of ICVMWT 2021
- English
- Year: 2022
- Author: Mishra, Brijesh(Edited by), Tiwari, Manish(Edited by)
Das Haus der zwanzigtausend Bücher
- EPUB
- German
- Year: 2015
- Author: Abramsky, Chimen;Abramsky, Miriam;Abramsky, Sasha
Nanotechnology-Based Additive Manufacturing : Product Design, Properties, and Applications
- English
- Year: 2022
- Author: Deshmukh, Kalim(Edited by), Pasha, S. K. Khadheer(Edited by), Sadasivuni, Kishor Kumar(Edited