Home Advanced Search

Advanced Search - Page 1

Warren's Abstract Machine: A Tutorial Reconstruction
  • PDF
  • English
  • Year: 1991
  • Author: Hassan Ait-Kaci
Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques
  • PDF
  • English
  • Year: 1989
  • Author: Hassan Ait-Kaci, Maurice Nivat
Rewriting Techniques. Resolution of Equations in Algebraic Structures
  • PDF
  • English
  • Year: 1989
  • Author: Hassan Ait-Kaci, Maurice Nivat
Warren's Abstract Machine: a tutorial reconstruction
  • DJVU
  • English
  • Year: 1991
  • Author: Hassan Aït-Kaci
Warren's abstract machine.A tutorial reconstruction
  • PDF
  • English
  • Year: 1991
  • Author: Hassan Aït-Kaci
Lifetime Environmental Impact of Buildings
  • PDF
  • English
  • Year: 2014
  • Author: Marc Méquignon, Hassan Ait Haddou (auth.)
Ecological Transition in Education and Research
  • PDF
  • English
  • Year: 2022
  • Author: Hassan Ait Haddou, Dimitri Toubanos, Philippe Villien
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)
Machine Learning: ECML 2001: 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Hassan Aït-Kaci, Yutaka Sasaki (auth.), Luc De Raedt, Peter Flach (eds.)
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Ait Sadoune