Besoin d'aide ? Consultez notre mode d'emploi
Nuage de mots-clés associés à : Langage formel
Les tableaux de Beth : syntaxe ou sémantique ?
Philippe de ROUILHANSous la direction de Gerhard HEINZMANNDans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999
Les cadres probatoires
Jean SALLANTINSous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Du temps sensible de Whitehead aux S-langages
Sylviane R. SCHWERSous la direction de Michel WEBER, Guillaume DURANDDans Les principes de la connaissance naturelle d’Alfred North Whitehead - 2007