| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466358503316 |
|
|
Titolo |
Rules and Reasoning [[electronic resource] ] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIII, 328 p. 80 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 11092 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Programming languages (Electronic computers) |
Artificial intelligence |
Mathematical logic |
Computer logic |
Application software |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Logics and Meanings of Programs |
Computer Appl. in Administrative Data Processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented |
|
|
|
|
|
|
|
|
|
|
|
|
|
together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996396030403316 |
|
|
Titolo |
The Mahumetane or Turkish historie [[electronic resource] ] : containing three bookes: 1 Of the originall and beginning of the Turkes, and of the foure empires which are issued and proceded out of the superstitious sect of Mahumet. 2 Of their conquests and the succession of the house of Ottoman, vntill the present reigning of Mahumet the third. 3 Of the warres and seege of Malta, which Solyman the great made to the great maister and brothers of that order. Heerevnto haue I annexed a briefe discourse of the warres of Cypres, at what time Selimus the second, tooke from the Venetians the possession of that iland, and by reason thereof I haue adioyned a small discourse conteining the causes of the greatnesse of the Turkish Empire. / / Translated from the French & Italian tongues, by R. Carr, of the middle Temple in London, Gentleman. Dedicated to the three worthy brothers Robert Carr, William Carr and Edward Carr, in the county of Lincolne, Esquires |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
At London, : Printed by Thomas Este, dwelling in Aldersgate streete, 1600 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Cyprian War, 1570-1571 |
Title pages16th century.England |
Turkey History Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
A fragment; title page only. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |