Affiner votre recherche
Disponibilité
-
Auteurs
- Brewka, Gerhard (1)
- Edwards, Harold M. (1)
- Fox, Chris (1)
- Graham,, Martin (1)
- Jin, Yaochu (1)
- Laflamme, Raymond (1)
- Lappin, Shalom (1)
- Loss,, D. (1)
- Maddox, Randall (1)
- Maddox, Randall B. (1)
- Pasch, Moritz (1)
- Prest, Mike (1)
- Pumplun (1)
- Richter, Michael M. (1)
- Rutten, Jan (1)
- Sangiorgi, Davide (2)
- Srivastava, S. M. (1)
- Stuckey, Peter (1)
- Tholen,, W. (1)
- Woleński, Jan (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
- Livre (61)
-
Collection
- A practical logic of... (1)
- Cambridge tracts in ... (5)
- Cognitive technologi... (1)
- Embedded technology (1)
- Encyclopedia of math... (1)
- Graduate texts in ma... (1)
- Lecture notes in log... (1)
- Lecture notes in mat... (3)
- Lecture notes in mat... (1)
- Mathematics and its ... (1)
- Poznań studies in th... (1)
- Publications of the ... (1)
- Revue du GRAAT (1)
- Synthese library (1)
- The Western Ontario ... (1)
- Trends in logic (1)
- Universitext (1)
- Vie artificielle (1)
- Afficher plus
- Afficher moins
-
Sujets
- Computer science (5)
- Computing: Professio... (3)
- Fuzzy logic (2)
- Grammar, Comparative... (2)
- Language and logic (2)
- Logic (8)
- Logic programming (3)
- Logic, Symbolic and ... (29)
- Logique symbolique e... (2)
- Mathematics (14)
- Mathematics / Logic (2)
- Mathematische Logik (2)
- Medical / General (1)
- Modality (Logic) (4)
- Proof theory (5)
- Proposition (Logic) (2)
- Science/Mathematics (5)
- Afficher plus
- Afficher moins