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.
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / / Alan Bundy, ed
| Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / / Alan Bundy, ed |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 006.3/3 |
| Altri autori (Persone) | BundyAlan |
| Soggetto topico |
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Automated Deduction — CADE-12 |
| Record Nr. | UNISA-996466268203316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rob Milne [[electronic resource] ] : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy
| Rob Milne [[electronic resource] ] : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina | 001.535 |
| Altri autori (Persone) | BundyAlan |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Scientists |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6610609713
1-280-60971-0 9786610609710 1-4294-1879-6 1-60750-187-2 600-00-0540-7 1-60129-504-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Foreword; Contents; Model Based Thoughts; Adventures in Model-Based Reasoning; Combining Dimensional Analysis and Heuristics for Causal Ordering - In Memory of Dr. Rob Milne -; I-Ex: Intelligent Extreme Expedition Support; Applied Computational Humor and Prospects for Advertising; Making Music with AI: Some Examples; Intelligent Applications Ltd: A History 1986 to 2005; Rob Milne: The British Airways Years; Rob and the BCS SGAI; Rob Milne's Contribution to the Young Software Engineer of the Year Awards; Rob Milne the Mountaineer
Robert Milne - Mountain Writing & Scottish Mountaineering Publications WorkExperience of Robert William Milne; Author Index |
| Record Nr. | UNINA-9910450824303321 |
| Amsterdam, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rob Milne [[electronic resource] ] : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy
| Rob Milne [[electronic resource] ] : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina | 001.535 |
| Altri autori (Persone) | BundyAlan |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Scientists |
| ISBN |
6610609713
1-280-60971-0 9786610609710 1-4294-1879-6 1-60750-187-2 600-00-0540-7 1-60129-504-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Foreword; Contents; Model Based Thoughts; Adventures in Model-Based Reasoning; Combining Dimensional Analysis and Heuristics for Causal Ordering - In Memory of Dr. Rob Milne -; I-Ex: Intelligent Extreme Expedition Support; Applied Computational Humor and Prospects for Advertising; Making Music with AI: Some Examples; Intelligent Applications Ltd: A History 1986 to 2005; Rob Milne: The British Airways Years; Rob and the BCS SGAI; Rob Milne's Contribution to the Young Software Engineer of the Year Awards; Rob Milne the Mountaineer
Robert Milne - Mountain Writing & Scottish Mountaineering Publications WorkExperience of Robert William Milne; Author Index |
| Record Nr. | UNINA-9910784246803321 |
| Amsterdam, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rob Milne : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy
| Rob Milne : a tribute to a pioneering AI scientist, entrepreneur and mountaineer / / edited by Alan Bundy |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina | 001.535 |
| Altri autori (Persone) | BundyAlan |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Scientists |
| ISBN |
6610609713
1-280-60971-0 9786610609710 1-4294-1879-6 1-60750-187-2 600-00-0540-7 1-60129-504-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Foreword; Contents; Model Based Thoughts; Adventures in Model-Based Reasoning; Combining Dimensional Analysis and Heuristics for Causal Ordering - In Memory of Dr. Rob Milne -; I-Ex: Intelligent Extreme Expedition Support; Applied Computational Humor and Prospects for Advertising; Making Music with AI: Some Examples; Intelligent Applications Ltd: A History 1986 to 2005; Rob Milne: The British Airways Years; Rob and the BCS SGAI; Rob Milne's Contribution to the Young Software Engineer of the Year Awards; Rob Milne the Mountaineer
Robert Milne - Mountain Writing & Scottish Mountaineering Publications WorkExperience of Robert William Milne; Author Index |
| Record Nr. | UNINA-9910829149303321 |
| Amsterdam, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||