{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":40,"n_cols":5,"rows_kept":40,"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],[18,2,18,3],[19,2,19,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465490803316"]
[null,null,"Titolo",null,"Logic Programming in Action [[electronic resource] ] : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / / edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992"]
[null,null,"ISBN",null,"3-540-47312-2"]
[null,null,"Edizione",null,"[1st ed. 1992.]"]
[null,null,"Descrizione fisica",null,"1 online resource (CCCXL, 330 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 636"]
[null,null,"Disciplina",null,"005.1/1"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Software Engineering"]
[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,"Theory and practice in logic programming -- Constraint Logic Programming -- Scheduling and optimisation in the Automobile Industry -- Factory scheduling using finite domains -- The Prince project and its applications -- A (Gentle) introduction to deductive databases -- Knowledge based PPS applications in PROTOS-L -- The SECReTS banking expert system from phase 1 to phase 2 -- Logic engineering and clinical dilemmas -- A knowledge-based approach to strategic planning -- Expert systems in mining -- Natural and formal language processing -- PUNDIT — Natural language interfaces -- The Esteam-316 dialogue manager -- Legislation as logic programs -- Knowledge representation for natural language processing -- A set of tools for VHDL design -- Tutorial notes: Reasoning about logic programs -- Software formal specification by logic programming: The "]
[{"$nulls":4},"example of standard Prolog -- The art of computer un-programming: Reverse engineering in Prolog -- Opium — An advanced debugging system -- Automatic theorem proving within the portable AI Lab."]
[null,null,null,"Sommario/riassunto","Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education."]
[null,"2.","Record Nr.",null,"UNISA996392970303316"]
[null,null,"Autore",null,"Cawdrey Daniel <1588-1664.>"]
[null,null,"Titolo",null,"The account audited and discounted: or, a vindication of the three-fold diatribee, of [brace] 1. Supersition, 2. Will-worship, 3. Christmas festivall [[electronic resource] ] : Against Doctor Hammonds manifold paradiatribees. / / By D.C. preacher of the Word at Billing-Magn. in Northamptonshire"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by Ralph Wood, for M. Wright, at the Kings Heads in the Old Bailey., 1658"]
[null,null,"Descrizione fisica",null,"[2], 438, [10] p"]
[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","D.C. = Daniel Cawdrey. Cf. Wing."]
[{"$nulls":4},"A reply to Hammond, Henry.  An account of Mr. Cawdry's triplex diatribe concerning superstition, wil-worship, and Christmass festivall."]
[{"$nulls":4},"The words \"Superstition .. festivall\" are bracketed together on title page."]
[{"$nulls":4},"At end: errata and advertisement for M. Wright."]
[{"$nulls":4},"Annotation on Thomason copy: \"Sept 11\"; \"Septemb\"."]
[{"$nulls":4},"Reproduction of the original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]