Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logique, dynamique et cognition / / Jean-Baptiste Joinet
| Logique, dynamique et cognition / / Jean-Baptiste Joinet |
| Autore | Bailly Francis |
| Pubbl/distr/stampa | Paris, : Éditions de la Sorbonne, 2014 |
| Descrizione fisica | 1 online resource (239 p.) |
| Altri autori (Persone) |
BonnayDenis
DehornoyPatrick DowekGilles GirardJean-Yves JoinetJean-Baptiste LivetPierre LongoGiuseppe PaulThierry TronçonSamuel |
| Soggetto topico |
Philosophy
logique mathématique temps sciences de la nature mécanique quantique |
| Soggetto non controllato |
logique mathématique
sciences de la nature temps mécanique quantique |
| ISBN | 9782859448103 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910168752803321 |
Bailly Francis
|
||
| Paris, : Éditions de la Sorbonne, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ludics, Dialogue and Interaction [[electronic resource] ] : PRELUDE Project — 2006-2009. Revised Selected Papers / / edited by Alain Lecomte, Samuel Tronçon
| Ludics, Dialogue and Interaction [[electronic resource] ] : PRELUDE Project — 2006-2009. Revised Selected Papers / / edited by Alain Lecomte, Samuel Tronçon |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 221 p. 33 illus., 1 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Mathematical logic Computers Computer science—Mathematics Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computation by Abstract Devices Discrete Mathematics in Computer Science Mathematics of Computing |
| ISBN | 3-642-19211-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466045203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||