Logical framework

Results: 288



#Item
281Conservation / Performance indicator / Logical framework approach / Project management / Management

COSOP Guidelines and Source Book_Vol 2_January2011

Add to Reading List

Source URL: www.ifad.org

Language: English - Date: 2011-07-13 07:42:55
282Automated theorem proving / Logic in computer science / Logic programming / Computer science / Logical framework / Formal language / Unification / Linear logic / Mathematics / Theoretical computer science / Mathematical logic

Vita for Jean H. Gallier May 16, [removed]Personal Data Work address:

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2013-08-19 10:01:17
283Paraconsistent logic / Philosophical logic / Stanisław Jaśkowski / Studia Logica / Modal logic / Analytic philosophers / Nicolaus Copernicus / Logical framework / Alfred Tarski / Logic / Mathematical logic / Mathematics

Curriculum Vitae[removed]Surname and Family name: Jacek Malinowski

Add to Reading List

Source URL: www.home.umk.pl

Language: English - Date: 2009-07-14 05:57:14
284Dependently typed programming / Type theory / Grammar / Algebraic structures / Model theory / Logical framework / Universal algebra / First-order logic / Equational logic / Mathematics / Logic / Mathematical logic

Algebraic Meta-Theories and Synthesis of Equational Logics Research Programme Marcelo Fiore

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2009-09-14 11:37:32
285Evaluation / Mind / Science / Evaluation methods / Planning / Thought / Logical framework approach / Urban planning / Organizing / Project management / Neuropsychological assessment / Management

PDF Document

Add to Reading List

Source URL: www.francoarchibugi.it

Language: English - Date: 2006-03-20 08:54:12
286Formal languages / Propositional calculus / Predicate logic / Proof theory / Type theory / First-order logic / Natural deduction / Higher-order abstract syntax / Logical framework / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2002-01-24 22:28:32
287Programming language theory / Generic programming / Type safety / Logical framework / Programming language / Dynamics / Recursion / Type system / Recursive data type / Software engineering / Type theory / Computing

PDF Document

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2013-09-13 18:04:56
UPDATE