{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":51,"n_cols":5,"rows_kept":51,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[38,2,38,3],[38,4,38,5],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[47,2,47,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465827703316"]
[null,null,"Titolo",null,"Analogical and Inductive Inference [[electronic resource] ] : International Workshop AII'86 Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings / / edited by Klaus P. Jantke"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987"]
[null,null,"ISBN",null,"3-540-47739-X"]
[null,null,"Edizione",null,"[1st ed. 1987.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 232 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 265"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Towards the development of an analysis of learning algorithms -- Using the algorithm of analogy for generation of robot programs -- On the inference of sequences of functions -- Fixed point equations as hypotheses in inductive reasoning -- Inductive inference of functions from noised observations -- Reasoning by analogy as a partial identity between models -- Can missing information be also useful? -- A decidability problem of church-rosser specifications for program synthesis -- Some considerations about formalization of analogical reasoning -- Analogical reasoning using graph transformations -- Knowledge acquisition by inductive learning from examples -- On the inference of programs approximately computing the desired function -- Stratified inductive hypothesis generation -- A model theoretic oriented approach to analogy -- On the complexity of effective program synthesis -- On barzdin's conjecture."]
[null,null,null,"Sommario/riassunto","This volume contains revised versions of presentations at the International Workshop on Analogical and Inductive Inference (AII '86) held in Wendisch-Rietz, GDR, October 16-10, 1986. Inductive inference and analogical reasoning are two basic approaches to learning algorithms. Both allow for exciting problems and promising concepts of invoking deeper mathematical results for considerable advances in intelligent software systems. Hence analogical and inductive inference may be understood as a firm mathematical basis for a large variety of problems in artificial intelligence. While the papers on inductive inference contain technical results and reflect the state of the art of this "]
[{"$nulls":4},"well-developed mathematical theory, those devoted to analogical reasoning reflect the ongoing process of developing the basic concepts of the approach. The workshop thus contributes significantly to the advancement of this field."]
[null,"2.","Record Nr.",null,"UNISA996205386303316"]
[null,null,"Titolo",null,"Managing complexity in software engineering / / edited by R.J. Mitchell"]
[null,null,"Pubbl/distr/stampa",null,"London : , : Peregrinus on behalf of the Institution of Electrical Engineers, , 1990"]
[null,null,"ISBN",null,"1-84919-356-8"]
[null,null,"Descrizione fisica",null,"1 online resource (279 p.)"]
[null,null,"Collana",null,"Professional Applications of Computing"]
[{"$nulls":4},"IEE computing series ; ; 17"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer software - Development"]
[{"$nulls":4},"Computer programming - Management"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"\"\"Cover\"\"; \"\"Half-title\"\"; \"\"Title\"\"; \"\"Copyright\"\"; \"\"Contents\"\"; \"\"Preface              \"\"; \"\"List of contributors                           \"\"; \"\"Development paradigms                            \"\"; \"\"1 Paradigms of modular system development M. Goedicke                                                            \"\"; \"\"2 The evolution of object-oriented design from concept to method N. W. Davis, M. Irving and J. E. Lee                                                                                                            \"\""]
[{"$nulls":4},"\"\"3 The role of formal methods in managing complexity R. Shaw                                                                  \"\"\"\"4 Putting mathematics to use M. J. Loomes                                                \"\"; \"\"5 The theory of organisation: a mathematical treatment of processing structures H. von Issendorff                                                                                                        \"\"; \"\"Project management                         \"\""]
[{"$nulls":4},"\"\"6 The need for a quality culture for software development A. J. R. Voss                                                                              \"\"\"\"7 Quality metrics for software management and engineering W. D. Itzfeldt                                                                               \"\"; \"\"8 Measuring to manage B. A. Kitchenham                                             \"\"; \"\"9 Structuring routine interactions in software engineering P. J. PÃ¶yhÃ¶nen\"\"; \"\"Automated development support                                    \"\""]
[{"$nulls":4},"\"\"10 Methods and tools F. Tontsch                                      \"\"\"\"11 Development support environments G. C. Oddy                                                     \"\"; \"\"12 Structuring for managing complexity J.-P. Bourguignon                                                               \"\"; \"\"13 A method-driven support environment J. Cazin, R. Jacquart, M. Lemoine and P. Michel                                                                                             \"\""]
[{"$nulls":4},"\"\"14 Automated support for marrying requirements to programs W. J. "]
[{"$nulls":4},"Quirk                                                                             \"\"\"\"15 Configuration support for system description, construction and evolution J. Kramer, J. Magee and M. Sloman                                                                                                                    \"\"; \"\"Index            \"\"; \"\"BackCover\"\""]
[null,"3.","Record Nr.",null,"UNISALENTO991002590579707536"]
[null,null,"Autore",null,"Olivier, Frank"]
[null,null,"Titolo",null,"Deux études sur Virgile / par Frank Olivier"]
[null,null,"Pubbl/distr/stampa",null,"Lausanne : La Concorde, 1930"]
[null,null,"Descrizione fisica",null,"63 p. ; 24 cm."]
[null,null,"Disciplina",null,"873.01"]
[null,null,"Soggetti",null,"Virgilio Marone, Publio - Saggio critico"]
[{"$nulls":4},"Cicerone, Marco Tullio"]
[{"$nulls":4},"Cicerone, Marco Tullio"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","In testa al front.: Université de Lausanne. Publications de la Faculté des Lettres."]