| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009936360403321 |
|
|
Autore |
Hawthorne, Nathaniel <1804-1864> |
|
|
Titolo |
La casa dei sette abbaini / Nathaniel Hawthorne ; traduzionee note a cura di Marcella Bonsanti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910767550503321 |
|
|
Titolo |
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / / edited by Peter G. Clote, Helmut Schwichtenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 550 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1862 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Programming languages (Electronic computers) |
Computer architecture |
Logic, Symbolic and mathematical |
Computer logic |
Artificial Intelligence |
Programming Languages, Compilers, Interpreters |
Computer System Implementation |
Mathematical Logic and Formal Languages |
Logics and Meanings of Programs |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Background, Reserve, and Gandy Machines -- Choiceless Polynomial Time Computation and the Zero-One Law -- Composition and Submachine Concepts for Sequential ASMs -- Une tentative malheureuse de construire une structure éliminant rapidement les quanteurs -- Translating Theory into Practice — Abstract State Machines within Microsoft -- Choiceless Polynomial Time Logic: Inability to Express -- Schema Revisited -- Automated Verification = Graphs, Automata, and Logic -- Contributed Papers -- A Fully Complete PER Model for ML Polymorphic Types -- Subtyping with Power Types -- The Descriptive Complexity of the Fixed-Points of Bounded Formulas -- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic -- Continuous Functionals of Dependent Types and Equilogical Spaces -- Definability over Linear Constraints -- Bounded Arithmetic and Descriptive Complexity -- Independence: Logics and Concurrency -- Flatness Is Not a Weakness -- Sequents, Frames, and Completeness -- Disjunctive Tautologies as Synchronisation Schemes -- Axiomatizing the Least Fixed Point Operation and Binary Supremum -- Interactive Programs in Dependent Type Theory -- Modal Satisfiability Is in Deterministic Linear Space -- Logic Programming and Co-inductive Definitions -- A Theory of Explicit Mathematics Equivalent to ID 1 -- On the Complexity of Explicit Modal Logics -- Finite Models and Full Completeness -- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale -- Elimination of Negation in a Logical Framework -- Discreet Games, Light Affine Logic and PTIME Computation -- Completeness of Higher-Order Duration Calculus -- Equational Termination by Semantic Labelling -- On the Computational Interpretation of Negation -- From Programs to Games: Invariance and Safety for Bisimulation -- Logical Relations and Data Abstraction -- Elementary Choiceless Constructive Analysis -- On the Logic of the Standard Proof Predicate. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910962118703321 |
|
|
Autore |
Porter |
|
|
Titolo |
Paul's world / / edited by Stanley E. Porter |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston, : Brill, 2008 |
|
|
|
|
|
|
|
ISBN |
|
1-283-06050-7 |
9786613060501 |
90-474-3162-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Pauline studies, , 1572-4913 ; ; v. 4 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Civilization, Greco-Roman |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Preliminary Materials / S. E. Porter -- Defining The Parameters Of Paul’s World: An Introduction / Stanley E. Porter -- The Problem Of Paul’s Social Class: Further Reflections / Ronald F. Hock -- Hellenistic Schools In Jerusalem And Paul’s Rhetorical Education / Andrew W. Pitts -- Greco-Roman Concepts Of Deity / Ron C. Fay -- Paul And The Athletic Ideal In Antiquity: A Case Study In Wrestling With Word And Image / James R. Harrison -- Crucifixion In The Ancient World: A Response To L.L. Welborn / Sean A. Adams -- The Languages That Paul Did Not Speak / Stanley E. Porter -- Paul At The Ball: Ecclesia Victor And The Cosmic Defeat Of Personifi By Edevil In Romans 16:20 / Michael J. Thate -- Paul, The Cults In Corinth, And The Corinthian Correspondence / Panayotis Coutsoumpos -- Ephesians 5:18–19 And Religious Intoxication In The World Of Paul / Craig A. Evans -- The Letter To Philemon: A Discussion With J. Albert Harrill / Tobias Nicklas -- Some Rhetorical Techniques In Acts 24:2–21 / Craig S. Keener -- Index Of Ancient Sources / S. E. Porter -- Index Of Modern Authors / S. E. Porter. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume is concerned with Paul's world. The major question to ask is—what is that world of Paul? In determinable ways, Paul's world is everything in the world in which Paul lived and acted, and hence virtually everything that Paul did. In other words, Paul's world can be defined macrocosmically and microcosmically. As the term is defined in |
|
|
|
|
|
|
|
|
|
|
the various essays in this volume, Paul's world includes the surrounding environment in which Paul functioned, including its various religious, social, cultural, literary, rhetorical, linguistic and related phenomena. This volume treats some of the most important and germane factors that went into making up the world in which Paul lived, and that consequently defined who he was and became. |
|
|
|
|
|
| |