Détail de l'éditeur
CSLI Publications
localisé à :
Stanford
Collections rattachées :
|
Documents disponibles chez cet éditeur (14)
Affiner la recherche
ressource imprimée
Robin COOPER, Éditeur scientifique ; Kuniaki MUKAI, Éditeur scientifique ; John PERRY, Éditeur scientifique ; Situation Theory and its applications (1; 1989; Asilomar, Cal., Etats-Unis), Auteur | Stanford : CSLI Publications | Lecture Notes | 1990Langue(s) du résumé : anglaisressource imprimée
Jon BARWISE, Éditeur scientifique ; Jean Mark GAWRON, Éditeur scientifique ; Gordon PLOTKIN, Éditeur scientifique ; Syun TUTIYA, Éditeur scientifique ; Situation Theory and its applications (2; 1991; Loch Rannoch, Royaume-Uni), Auteur | Stanford : CSLI Publications | Lecture Notes | 1991Langue(s) du résumé : anglaisressource imprimée
Peter ACZEL, Éditeur scientifique ; David ISRAEL, Éditeur scientifique ; Yasuhiro KATAGIRI, Éditeur scientifique ; Stanley PETERS, Éditeur scientifique ; Situation Theory and its applications (3; 1991; Kanagawa, Japon), Auteur | Stanford : CSLI Publications | Lecture Notes | 1993Langue(s) du résumé : anglaisressource imprimée
ressource imprimée
Anthony EVERETT, Éditeur scientifique ; Thomas HOFWEBER, Éditeur scientifique | Stanford : CSLI Publications | Lecture Notes | 2000ressource imprimée
Jon BARWISE ; John ETCHEMENDY ; Gérard ALLWEIN, Collaborateur ; Dave BARKER-PLUMMER, Collaborateur ; Albert LIU, Collaborateur | Stanford : CSLI Publications | 2000Langue(s) du résumé : anglais Language, Proof and Logic is a complete text and software package providing a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof, and counterexample. The text[...]ressource imprimée
Jon BARWISE ; John ETCHEMENDY ; Gérard ALLWEIN, Collaborateur ; Dave BARKER-PLUMMER, Collaborateur ; Albert LIU, Collaborateur | Stanford : CSLI Publications | 2000Langue(s) du résumé : anglais Language, Proof and Logic is a complete text and software package providing a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof, and counterexample. The text[...]ressource imprimée
Giovanni VAILATI, Auteur ; Claudia ARRIGHI, Éditeur scientifique ; Paola CANTU, Éditeur scientifique ; Mauro DE ZAN, Éditeur scientifique ; Patrick SUPPES, Éditeur scientifique | Stanford : CSLI Publications | Lecture Notes | 2010ressource imprimée
Alban PONSE, Éditeur scientifique ; Maarten De RIJKE, Éditeur scientifique ; Yde VENEMA, Éditeur scientifique | Stanford : CSLI Publications | Lecture Notes | 1995ressource imprimée
ressource imprimée
Non-Well-Founded structures arise in a variety of ways in the semantics of both natural and formal languages. Two examples are non-well-founded situations and non-terminating computational processes. A natural modelling of such structures in set[...]ressource imprimée
ressource imprimée
ressource imprimée
Langue(s) du résumé : anglais The subject of non-wellfounded sets came to prominence with the 1988 publication of Peter Aczel's book on the subject. Since then, a number of researchers in widely differing fields have used non-well-founded sets ([...]
La bibliothèque Granger-Guillermit est fermée pour une durée indéterminée.