Info
5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
| 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980 |
| Pubbl/distr/stampa | Springer Berlin Heidelberg, 1980 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BibelWolfgang
KowalskiRobert |
| Soggetto topico |
Mathematics
Mathematical logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465762203316 |
| Springer Berlin Heidelberg, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Artificial Intelligence [[electronic resource] ] : An Advanced Course / / by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand
| Fundamentals of Artificial Intelligence [[electronic resource] ] : An Advanced Course / / by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand |
| Autore | Bibel Wolfgang |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (VII, 314 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computer programming Computer logic Mathematical logic Artificial Intelligence Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39875-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge representation: Features of knowledge -- Deduction and computation -- An introduction to automated deduction -- Fundamental mechanisms in machine learning and inductive inference -- Methods of automated reasoning -- Term rewriting as a basis for the design of a functional and parallel programming language -- Concurrent Prolog: A progress report. |
| Record Nr. | UNISA-996465937303316 |
Bibel Wolfgang
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Methods of Specification and Synthesis of Software Systems '85 [[electronic resource] ] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / / edited by Wolfgang Bibel, Klaus P. Jantke
| Mathematical Methods of Specification and Synthesis of Software Systems '85 [[electronic resource] ] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / / edited by Wolfgang Bibel, Klaus P. Jantke |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (VIII, 248 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming Techniques |
| ISBN | 3-540-39784-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification of an alternating bit protocol by means of process algebra protocol -- Predicative programming revisited -- Some problems on inductive inference from positive data -- Language and example of knowledge-based programming -- Inductive inference hierarchies: Probabilistic VS pluralistic strategies -- Natural mathematical texts VS. programs -- An algebraic framework for inductive program synthesis -- Approximation logic -- Learning on the basis of a polynomial pattern synthesis algorithm -- The proof-checking component for the pleats programming system enabling specification of theories -- The METANET. A knowledge representation tool based on abstract data types -- One more property of array languages -- Theoretical aspects of ?-programming -- Decidability in pratt's process logics -- A program synthesis algorithm exemplified -- The algorithmic specification method of abstract data types: An overview -- Orientation problems on sequences by recursive functions -- The solution of discrete problems by means of ternary representations -- Formalizing analogical reasoning -- Some results in the theory of effective program synthesis: Learning by defective information -- Deductive normal forms of relations -- How fast is program synthesis from examples -- On recursive optimizers. |
| Record Nr. | UNISA-996465690503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||