| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465778503316 |
|
|
Titolo |
Logic Based Program Synthesis and Transformation [[electronic resource] ] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / / edited by Kung-Kiu Lau |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 188 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2042 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Computer programming |
Artificial intelligence |
Mathematical logic |
Software Engineering/Programming and Operating Systems |
Logics and Meanings of Programs |
Programming Techniques |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the |
|
|
|
|
|
|
|
|
|
|
|
|
|
Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996385576103316 |
|
|
Autore |
Knox John <ca. 1514-1572.> |
|
|
Titolo |
A faythfull admonition made by Iohn̄ Knox, vnto the professours of Gods truthe in England [[electronic resource] ] : whereby thou mayest learne howe God wyll haue his Churche exercised with troubles, and how he defendeth it in the same |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Imprynted at Kalykow [i.e. Emden, : By Egidius van der Erve], the 20. daye of Julij. 1554] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
With some reference to Queen Mary's Spanish marriage. |
The imprint (from colophon) is false; printed in Emden by Egidius van der Erve (STC). |
Signatures: Aâ´ B-H Iâ´ (-I4). |
Reproduction of the original in the Henry E. Huntington Library and Art Gallery. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996396660703316 |
|
|
Autore |
Ludolf Hiob <1624-1704.> |
|
|
Titolo |
A new history of Ethiopia [[electronic resource] ] : Being a full and accurate description of the kingdom of Abessinia, vulgarly, though erroneously called the empire of Prester John. In four books. Wherein are contained I. An account of the nature, quality and condition of the country, and inhabitants; their mountains, metals and minerals; their rivers, (particularly of the source of the Nile and Niger;) their birds, beasts, amphibious animals, (as the river horse and crocodile;) serpents, &c. II. Their political government; the genealogy and succession of their Kings; a description of their court, and camp; their power and military discipline; their courts of justice, &c. III. Their ecclesiastical affairs; their conversion to the Christian religion, and the propagation thereof, their sacred writings, their sacraments, rites, ceremonies, and church discipline; the decrease of the romish religion, their contentions with the Jesuits, their separation from the Greek Church, &c. IV. Their private oeconomy, their books and learning; their co |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed by A. Godbid and J. Playford, for Samuel Smith bookseller, at the Prince's Arms in St. Pauls Church-yard, 1682 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
[8], 398 p., 8 leaves of plates, some folded : chart, geneal. tables |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Ethiopia Description and travel Early works to 1800 |
Ethiopia History Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
A translation of: Historia Aethiopica. |
Includes bibliographical references. |
Reproduction of the original in the Cambridge University Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |