Affiner votre recherche
Disponibilité
-
Auteurs
- Ackermann, W. (1)
- Aĭzerman, M. A. (1)
- Börger, E. (1)
- Cantini, Andrea (1)
- Chong, C.-T. (1)
- Crossley, John N. (1)
- Dalen, D. van (1)
- Ferro, R. (1)
- Gabbay, Dov M. (1)
- Gallin, Daniel (1)
- Krivine, J. L. (1)
- Leblanc, Hugues (1)
- Luschei, Eugene C. (1)
- Luxemburg, W. A. J. (1)
- Metakides, George (1)
- Meulen, Alice G. B. ... (1)
- Morse, Anthony P. (1)
- Robinson, Abraham (2)
- Rybakov, Vladimir V. (1)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
-
Types de document
- Ebook (28)
-
Collection
-
Sujets
- Algorithms (1)
- Decision support sys... (1)
- Fonctions calculable... (1)
- Inference (1)
- Logic, Symbolic and ... (38)
- Logica (3)
- Logique symbolique e... (28)
- MATHEMATICS (4)
- MATHEMATICS / Genera... (2)
- Methodology (2)
- Modality (Logic) (1)
- Méthodologie (2)
- Natural language pro... (1)
- Nonstandard mathemat... (2)
- Science (2)
- Semantics (2)
- Set theory (2)
- Wiskundige logica (3)
- Afficher plus
- Afficher moins