| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996391977703316 |
|
|
Autore |
Isaacson Henry <1581-1654.> |
|
|
Titolo |
An exact narration of the life and death of the late reverend and learned prelate, and painfull divine, Lancelot Andrewes, late Bishop of Winchester [[electronic resource] ] : Which may serve as a pattern of piety and charity to all godly disposed Christians. / / Faithfully collected by Henry Isaacson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for John Stafford, neer S. Brides Church Fleetstreet, 1650 [i.e. 1651] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Signatures: pi² , *⁴, 2*⁴, 3*² . |
Frontispiece = port. |
Annotation on Thomason copy: "Jan: 24". |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001373919707536 |
|
|
Autore |
Russo, Luigi, 1971- |
|
|
Titolo |
Boemondo : figlio del Guiscardo e principe di Antiochia / Luigi Russo |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Avellino : E. Sellino, 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1a ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Principi - Turkia - Antiochia - Biografia |
Crociate |
Boemondo I, Principe di Antiochia, 1058?-1111 |
Boemondo I, Principe di Antiochia, 1058?-1111 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Biografia di Boemondo I (1058?-1111), Principe di Antiochia. |
Sulla cop.: Centro europeo di studi normanni Ariano Irpino. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910799238103321 |
|
|
Autore |
Li Wei <1625-1684, > |
|
|
Titolo |
R-Calculus, V: Description Logics / / by Wei Li, Yuefei Sui |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 384 p. 4 illus., 1 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Perspectives in Formal Induction, Revision and Evolution, , 2731-3697 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Logic, Symbolic and mathematical |
Logic programming |
Mathematical models |
Computer science - Mathematics |
Big data |
Formal Languages and Automata Theory |
Mathematical Logic and Foundations |
Logic in AI |
Mathematical Modeling and Industrial Mathematics |
Mathematics of Computing |
Big Data |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi for Post three-valued DL -- R-calculi for B22-valued DL -- R-calculi for Post L4 -valued DL -- Undecidable DLs -- Introduction -- Role R-calculus for binary-valued DL -- Role R-calculus for Post three-valued DL -- Role R-calculus for B22 -valued DL -- Role R-calculus for Post L4-valued DL -- A Finite injury priority method. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This fifth volume of the book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. . |
|
|
|
|
|
|
|
| |