Home Advanced Search

Advanced Search - Page 1

Walther recursion
  • PDF
  • English
  • Author: David McAllester; Kostas Arkoudas
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Harald Ganzinger, David McAllester, Andrei Voronkov
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: John Harrison (auth.), David McAllester (eds.)
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: John Harrison (auth.), David McAllester (eds.)
Eating mud crabs in Kandahar: stories of food during wartime by the world's leading correspondents
  • EPUB
  • English
  • Year: 2011
  • Author: McAllester, Matthew
Bittersweet
  • EPUB
  • English
  • Year: 2011
  • Author: McAllester, Matt
Bittersweet: lessons from my mother's kitchen
  • EPUB
  • English
  • Year: 2013;2009
  • Author: McAllester, Matthew
Beyond the Mountains of the Damned: The War inside Kosovo
  • PDF
  • English
  • Year: 2001
  • Author: Matthew McAllester
Beyond the Mountains of the Damned : The War Inside Kosovo
  • EPUB
  • English
  • Year: 2001
  • Author: Matthew McAllester
Bittersweet: Lessons from My Mother's Kitchen
  • EPUB
  • English
  • Year: 2009
  • Author: Matt McAllester
search