Home Advanced Search

Advanced Search - Page 1

Theory of Deductive Systems and Its Applications
  • DJVU
  • English
  • Year: 1987
  • Author: S. Yu. Maslov, Michael Gelfond, Vladimir Lifschitz
Answer Set Programming
  • PDF
  • English
  • Year: 2019
  • Author: Vladimir Lifschitz
Answer Set Programming
  • PDF
  • English
  • Year: 2019
  • Author: Vladimir Lifschitz
Elementary Methods in the Analytic Theory of Numbers
  • PDF
  • English
  • Year: 1967
  • Author: A. O. Gelfond, Yu V. Linnik
Transcendental and algebraic numbers
  • DJVU
  • English
  • Year: 1960
  • Author: Gelfond A
Stability Problems for Stochastic Models: Proceedings of the 9th International Seminar held in Varna, Bulgaria, May 13–19, 1985
  • DJVU
  • English
  • Year: 1987
  • Author: Yu. S. Hohlov (auth.), Vladimir V. Kalashnikov, Boyan Penkov, Vladimir M. Zolotarev (eds.)
Handbook of Knowledge Representation
  • PDF
  • English
  • Year: 2008
  • Author: Frank van Harmelen, Vladimir Lifschitz and Bruce Porter (Eds.)