Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (9)
Auteur
- Basin, David (1)
- Bou, Félix (1)
- Caleiro, Carlos (1)
- GORÉ, RAJEEV (1)
- Giuntini, Roberto (1)
- HEINLE, WOLFGANG (1)
- HELLA, LAURI (1)
- HEUERDING, ALAIN (1)
- IMHOF, HENRIK (1)
- Jacquette, Dale (1)
- Kordy, Barbara (1)
- KÜNZI, URS-MARTIN (1)
- Ledda, Antonio (1)
- Mauw, Sjouke (1)
- Paoli, Francesco (1)
- Radomirović, Saša (1)
- Ramos, Jaime (1)
- STRAHM, THOMAS (1)
- STÄRK, ROBERT F. (1)
- Schweitzer, Patrick (1)
- Spinks, Matthew (1)
- Viganò, Luca (1) Plus Moins
Domaine
Mot clé
-
Original Articles (9)
- Logic programming (2)
- Agenda relevance (1)
- Attack-defense trees (1)
- David Hume (1)
- Distributed temporal logic (1)
- Dov Gabbay (1)
- Explicit mathematics (1)
- Finite model theory (1)
- Immanuel Kant (1)
- JohnWoods (1)
- Logics Workbench (1)
- MV algebras (1)
- Modal logic (1)
- Prolog (1)
- Quasi-MV algebras (1)
- SLDNF-resolution (1)
- abstract algebraic logic (1)
- attack trees (1)
- attributes (1)
- automated theorem proving (1)
- causal relevance (1)
- causation (1)
- complete set of axioms (1)
- countermeasures (1)
- descriptive complexity theory (1)
- discrete time (1)
- explicit substitutions (1)
- fixed point logics (1)
- generalized quantifiers (1) Plus Moins