Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
PNP - College of Computer and Information Science
PNP - College of Computer and Information Science
PMON : A Fluent Logic for Action and Change Formal Specication, Version 1.0
PMON : A Fluent Logic for Action and Change Formal Specication, Version 1.0
NPO problems
NPO problems
NP-completeness - Department of Information and Computing
NP-completeness - Department of Information and Computing
NP-Complete Problems
NP-Complete Problems
NP and NP-Completeness - Department of Computer Science
NP and NP-Completeness - Department of Computer Science
NP - Stanford University
NP - Stanford University
nowledge Compilation Horn Approximations
nowledge Compilation Horn Approximations
November_Lecture_6_Takagi_Sugeno
November_Lecture_6_Takagi_Sugeno
November 2 Lecturer Dmitri Zaitsev Hilary Term 2012 Course 3423/4 2011-12
November 2 Lecturer Dmitri Zaitsev Hilary Term 2012 Course 3423/4 2011-12
November 11, 2010 Re: Industrial Development Board, County Mayor’s membership
November 11, 2010 Re: Industrial Development Board, County Mayor’s membership
November 1 Lecturer Dmitri Zaitsev Michaelmas Term 2013 Course 3423/4 2013-14
November 1 Lecturer Dmitri Zaitsev Michaelmas Term 2013 Course 3423/4 2013-14
Nouns and Adjectives 1 SOME TERMINOLOGY: 1. Word endings
Nouns and Adjectives 1 SOME TERMINOLOGY: 1. Word endings
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction
Symbolic Logic: First-Order Logic Interpretation Notes
Symbolic Logic: First-Order Logic Interpretation Notes
Notes on Resolution from last day
Notes on Resolution from last day
Notes on mathematical induction
Notes on mathematical induction
Notes on Logic and Critical Thinking
Notes on Logic and Critical Thinking
Notes on Logic and Critical Thinking
Notes on Logic and Critical Thinking
Notes on Linguistic variables from extracts of
Notes on Linguistic variables from extracts of
Notes on Discrete Mathematics
Notes on Discrete Mathematics
Notes on Annotation
Notes on Annotation
Notes from Oct. 19
Notes from Oct. 19
NOTES ET DISCUSSIONS About J. O. Urmson’s Philosophical Analysis:
NOTES ET DISCUSSIONS About J. O. Urmson’s Philosophical Analysis: