| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996388681803316 |
|
|
Autore |
Williams Gryffith <1589?-1672.> |
|
|
Titolo |
Several sermons on solemn occasions, and treatises, expressed in the next page. By the right reverend father in God, Griffith Lord Bishop of Ossory. Imprimatur, Tho. Grigg. R.P.D. Humf. May 16. 1665. Episc. Lond. Sac [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed for the authour, 1665 |
|
|
|
|
|
|
|
Descrizione fisica |
|
[8], 128, 48, 19, [25], 84, [8], 85-190, [2], 43, [3], 191-225, [3], 44, [2], 67, [1] p |
|
|
|
|
|
|
|
|
Soggetti |
|
Sermons, English - 17th century |
Royalists - England - History - 17th century - Religious aspects |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Griffith Lord Bishop of Ossory = Gryffith Williams. |
Signatures: A-Rⴠ² A-Fⴠ³A-Bⴠ³C² chi â´a-Lâ´ â´M â´N-2Bâ´ âµA-Fâ´ 2C-2Fâ´ 2G² â¶A-Fâ´ B-Kâ´ [-â´O4]. |
"The description and the practice of the four most admirable beasts;", "Eight sermons dedicated to the right honourable His Grace the Lord Duke of Ormond,", "The only vvay to the kingdom of heaven.", and "A sermon preached at the publick fast the eighth of March, in St Maries Oxford," each have a separated title page dated 1663, 1664, 1664, and 1664 respectively; "The description and the practice of the four most admirable beasts;" has an imprimitur leaf dated Jul. 1. 1663. and signed Geor. Stradling. |
"The description and the practice of the four most admirable beasts;", "Eight sermons dedicated to the right honourable His Grace the Lord Duke of Ormond,", and "A sermon preached at the publick fast the eigth of March, in St Maries Oxford," have each been published separately. |
Reproduction of the original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910707374503321 |
|
|
Autore |
Dickinson Kendell A. <1931-> |
|
|
Titolo |
Uranium and diagenesis in evaporitic lacustrine mudstone of the Oligocene White River Group, Dawes County, Nebraska / / by Kendell A. Dickinson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Reston, Va.] : , : U.S. Department of the Interior, U.S. Geological Survey, , 1991 |
|
[Washington, D.C.] : , : United States Government Printing Office |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (25 pages) : illustrations, maps |
|
|
|
|
|
|
Collana |
|
U.S. Geological Survey Bulletin ; ; 1956 |
|
|
|
|
|
|
Soggetti |
|
Diagenesis - Nebraska - Dawes County |
Geology - Nebraska - Dawes County |
Geology, Stratigraphic - Oligocene |
Uranium ores - Nebraska - Dawes County |
Diagenesis |
Geology |
Geology, Stratigraphic |
Oligocene Geologic Epoch |
Uranium ores |
White River Group |
Nebraska Dawes County |
United States White River Group |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed Aug. 20, 2014). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484457103321 |
|
|
Titolo |
New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers / / edited by Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 548 p. 130 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10091 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Information storage and retrieval systems |
Application software |
Data mining |
Machine theory |
Information technology - Management |
Artificial Intelligence |
Information Storage and Retrieval |
Computer and Information Systems Applications |
Data Mining and Knowledge Discovery |
Formal Languages and Automata Theory |
Computer Application in Administrative Data Processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Discourse particles -- Disjunction -- Truth -- Copredication -- Expressive content -- Categorial grammar -- Dependent type semantics -- Sequent calculus -- Fundamental and practical issues -- Law -- Social science -- Information -- Intelligent technology -- Logic and philosophy -- Formal and informal logic -- Artificial intelligence -- Safety engineering -- Healthy aging -- Elderly care support -- Time series data analysis -- Real life application -- Prediction -- Autism spectrum disorders -- Robots -- Social anxiety -- Skill science -- |
|
|
|
|
|
|
|
|
|
|
|
Analogical abduction -- Dynamic balancing. . |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues. |
|
|
|
|
|
|
|
| |