Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
calculemus
1 ?
 21,213,375 websites (safe search)

  1. www.calculemus-fnl.nl

    Calculemus - Formal Natural Language
    natural4
    language3
    automated3
    processing2
    formal2
    natural language processing1
    fnl1
    automated language translation1
    calculemus1
    automated language processing0
    calculemus language processing0
    formal language processing0

    calculemus-fnl.nl - 2009-02-06

  2. The CALCULEMUS Interest Group

    This is the home page for the CALCULEMUS Project
    development5
    systems4
    open4
    interactive3
    proof2
    systems integration2
    artificial intelligence2
    reasoning1
    computer algebra1
    symbolic computation1
    formal methods1
    knowledge representation1
    mechanized1
    theorem proving1
    automated reasoning1
    type theory1
    proof planning1
    calculemus1
    OMRS1
    formalized mathematics0
    mechanized reasoning0
    tactical theorem proving0

    www.calculemus.net - 2009-02-11

security4 consulting5 systems4 systems integration2 tactical theorem proving0 control3 information technology3 e-commerce5 symbolic computation1 equipment4

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.