Home Advanced Search

Advanced Search - Page 1

Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]
  • DJVU
  • English
  • Year: 1990
  • Author: Lincoln A. Wallen
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]
  • DJVU
  • English
  • Year: 1989
  • Author: Lincoln A. Wallen
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1984
  • Author: Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)
Whose Dog Are You?: The Technology of Dog Breeds and the Aesthetics of Modern Human-Canine Relations
  • PDF
  • English
  • Year: 2017
  • Author: Martin Wallen
City of Health, Fields of Disease: Revolutions in the Poetry, Medicine, and Philosophy of Romanticism
  • PDF
  • English
  • Year: 2004
  • Author: Martin Wallen
Fox
  • EPUB
  • English
  • Year: 2006
  • Author: Wallen, Martin
The Model as Performance: Staging Space in Theatre and Architecture
  • PDF
  • English
  • Year: 2018
  • Author: Lawrence Wallen
Gridiron Underground: Black American Journeys in Canadian Football
  • EPUB
  • English
  • Year: 2019
  • Author: James R. Wallen
The Art of Adaptation in the Fifteenth-Century Erec et Enide and Cliges [thesis]
  • PDF
  • English
  • Year: 1972
  • Author: Martha Louise Wallen
Fox
  • PDF
  • English
  • Year: 2016
  • Author: Fuchs;Wallen, Martin
search