Go to content
EN
Translated to English
FR
Laboratory
Research
Transversal actions
Teaching and Training
Join us
Open search
Close
Search form
Search
Enter one or more keywords…
Search entire site
Menu
EN
Translated to English
FR
Close
Search form
Search
Enter one or more keywords…
Search entire site
Laboratory
Laboratory
The Laboratory
Research support and assistance
News
Directory
Access to the LISN
Research
Research
Algorithms, Learning and Computation
Algorithms, Learning and Computation
Learning and Optimization
Graphs, Algorithms and Combinatorics (GALaC)
Data Science
Human Centered Interaction
Human Centered Interaction
Cognition Perception and Uses (CPU)
Mécanics – Energetics
Human Language Science and Technology
Transversal actions
Teaching and Training
Teaching and Training
Masters
Doctoral schools
Join us
Home
...
Corpus and software
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
Print this page
Export this page in PDF format (around 1.5MB)
Send to a friend
Share
Facebook
LinkedIn
Twitter
Logiciel
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
Qiana
Created on :
11-02-2024
Updated :
04-02-2025
Pierre-Henri Paris
En maintenance
MIT License
More informations
Previous
Back to list
Next
Back to top
