Fundamentals of artificial intelligence : an advanced course /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer-Verlag,
c1987.
|
| Edición: | Springer study ed. |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01522nam a22002295a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb004901 | ||
| 008 | 080815s1987####gw#a#####b####000#0#eng#d | ||
| 005 | 20130423124007.0 | ||
| 245 | 0 | 0 | |a Fundamentals of artificial intelligence : |b an advanced course / |c W. Bibel ... [et al.] ; edited by W. Bibel and Ph. Jorrand. |
| 250 | |a Springer study ed. | ||
| 260 | |a Berlin : |b Springer-Verlag, |c c1987. | ||
| 300 | |a v, 313 p. : |b il. ; |c 25 cm. | ||
| 500 | |a "Elaborated and harmonized versions of [the] lectures [from] the first Advanced Course in Artificial Intelligence that was held in Vignieu, France, in July 1985". | ||
| 500 | |a "Second printing of vol. 232 of the series Lecture notes in computer science ... 1986". | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 505 | 0 | |a James P. Delgrande and John Mylopoulos, Knowledge representation: features of knowledge -- Gérard Huet, Deduction and computation -- Mark E. Stickel, An introduction to automated deduction -- Alan W. Biermann, Fundamental mechanisms in machine learning and inductive inference -- Wolfgang Bibel, Methods of automated reasoning. A tutorial -- Philippe Jorrand, Term rewriting as a basis for the design of a functional and parallel programming language. A case study: the language FP2 -- Ehud Shapiro, Concurrent Prolog: a progress report. | |
| 510 | 4 | |a MR, |c 87j:68094 | |
| 020 | |a 3540182659 | ||
| 700 | 1 | |a Bibel, W., |d 1938- |4 edt | |
| 700 | 1 | |a Jorrand, Ph. |q (Philippe) |4 edt | |
| 084 | |a 68Txx |2 msc2000 | ||
| 859 | |h 68 |i F981 |p A-6167 |b BIB. MATEMATICA | ||