Home Advanced Search

Advanced Search - Page 1

Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
  • PDF
  • 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
  • PDF
  • English
  • Year: 1993
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • PDF
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
A new perspective on nonmonotonic logics
  • PDF
  • English
  • Year: 2016
  • Author: Gabbay D.M., Schlechta K.
Mathematical problems from applied logic I / 2, Logics for the XXIst century
  • PDF
  • English
  • Year: 2007
  • Author: Gabbay D.M. et al. (eds.)
Philosophy of Information
  • DJVU
  • English
  • Year: 2008
  • Author: Adriaans P., van Benthem J.F., Gabbay D.M., Thagard P., Woods J. (eds.)
Sustainable Development: Authoritative and Leading Edge Content for Environmental Management
  • PDF
  • English
  • Author: Curkovic S. (Edited)
Wahrscheinlichkeitsrechnung
  • PDF
  • German
  • Year: 1987
  • Author: Gert Maibaum
Speaking Of Writing
  • PDF
  • English
  • Author: Richard Maibaum
search