Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / / Frank Pfenning

• Record Nr.: UNISA996465915403316
• Pubbl/distr/stampa: Berlin, Germany ; ; New York, New York : , : Springer, , [2007]; ©2007
• ISBN: 3-540-73595-X
• Edizione: [1st ed. 2007.]
• Descrizione fisica: 1 online resource (XII, 524 p.)
• Collana: Lecture notes in computer science, , 0302-9743 ; ; 4603. Lecture notes in artificial intelligence
• Disciplina: 511.3
• Soggetti: Automatic theorem proving; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• 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: Session 1. Invited Talk: Colin Stirling -- Games, Automata and Matching -- Session 2. Higher-Order Logic -- Formalization of Continuous Probability Distributions -- Compilation as Rewriting in Higher Order Logic -- Barendregt’s Variable Convention in Rule Inductions -- Automating Elementary Number-Theoretic Proofs Using Gröbner Bases -- Session 3. Description Logic -- Optimized Reasoning in Description Logics Using Hypertableaux -- Conservative Extensions in the Lightweight Description Logic -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4. Intuitionistic Logic -- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 -- A Labelled System for IPL with Variable Splitting -- Session 5. Invited Talk: Ashish Tiwari -- Logical Interpretation: Static Program Analysis Using Theorem Proving -- Session 6. Satisfiability Modulo Theories -- Solving Quantified Verification Conditions Using Satisfiability Modulo Theories -- Efficient E-Matching for SMT Solvers -- -Decision by Decomposition -- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic -- Session 7. Induction, Rewriting, and Polymorphism -- Improvements in Formula Generalization -- On the Normalization and Unique Normalization Properties of Term Rewrite Systems -- Handling Polymorphism in ; Automated Deduction -- Session 8. First-Order Logic -- Automated Reasoning in Kleene Algebra -- SRASS - A Semantic Relevance Axiom Selection System -- Labelled Clauses -- Automatic Decidability and Combinability Revisited -- Session 9. Invited Talk: K. Rustan M. Leino -- Designing Verification Conditions for Software -- Session 10. Model Checking and Verification -- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic -- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems -- The KeY system 1.0 (Deduction Component) -- KeY-C: A Tool for Verification of C Programs -- The Bedwyr System for Model Checking over Syntactic Expressions -- System for Automated Deduction (SAD): A Tool for Proof Verification -- Session 11. Invited Talk: Peter Baumgartner -- Logical Engineering with Instance-Based Methods -- Session 12. Termination -- Predictive Labeling with Dependency Pairs Using SAT -- Dependency Pairs for Rewriting with Non-free Constructors -- Proving Termination by Bounded Increase -- Certified Size-Change Termination -- Session 13. Tableaux and First-Order Systems -- Encoding First Order Proofs in SAT -- Hyper Tableaux with Equality -- System Description: E- KRHyper -- System Description: Spass Version 3.0.

Dal suono alla parola : percezione e produzione del linguaggio tra neurolinguistica e psicolinguistica / / Luciana Brandi, Beatrice Salvadori

• Record Nr.: UNINA9910146340403321
• Autore: Brandi Luciana
• Pubbl/distr/stampa: Firenze University Press, 2004; Firenze : , : Firenze university press, , 2004
• ISBN: 8884532019 (ebook); 8884532027 (paperback)
• Descrizione fisica: 1 online resource (207 pages) : illustrations
• Collana: Manuali Umanistica ; ; 1; Manuali. Umanistica ; ; 1
• Altri autori (Persone): SalvadoriBeatrice
• Disciplina: 401
• Soggetti: Child Development; Language; Central Nervous System; Human Development; Communication; Nervous System; Anatomy; Information Science; Behavior and Behavior Mechanisms; Psychology; Language Development; Linguistics; Brain; Human Anatomy & Physiology; Health & Biological Sciences; Neuroscience
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: L. Brandi teaches at the University of Florence.
• Nota di bibliografia: Includes bibliographical references and index.
• Sommario/riassunto: An up-to-date manual conceived to guide the reader through the most interesting and recent theories in the vast field of psycho-neuro-linguistics. After a review of the latest theories on the perception and production of language in adult and developmental age, the most recent studies on the relations between anatomy and cerebral functions are also discussed, opening up new perspectives on the study of language too.; Manuale aggiornato che si prefigge di orientare il lettore tra le teorie più interessanti e recenti del vasto campo della psico-neuro-linguistica. Dopo aver passato in rassegna le ultime teorie sulla percezione e produzione del linguaggio in età adulta ed evolutiva, vengono illustrati gli studi più recenti sul rapporto fra anatomia e funzioni cerebrali che aprono nuove prospettive anche sullo studio del linguaggio.

"Man bleibt eben immer der Flüchtling." : Eine Quellenedition zur Flucht und Vertreibung aus dem Kreis Arnswalde 1945-1947 / / Veronica Kölling, Klaus Neitmann . Volume 75

• Record Nr.: UNINA9910476907603321
• Autore: Kölling Veronica
• Pubbl/distr/stampa: Berliner Wissenschafts-Verlag, 2020; Berlin, Germany : , : Berliner Wissenschafts-Verlag, , 2020
• ISBN: 9783830550099; 383055009X
• Descrizione fisica: 1 online resource (346 p.)
• Collana: Veröffentlichungen des Brandenburgischen Landeshauptarchivs
• Soggetti: History / Europe / Germany; History / Modern / 21st Century; History / Social History; History; History; Sources.; Choszczno (Poland) History 20th century Sources; Germany; Poland; Poland Choszczno
• Lingua di pubblicazione: Tedesco
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Einleitung -- Grundlagen und Ziele der Quellenedition -- Die Kämpfe um den Kreis und die Stadt Arnswalde im Frühjahr 1945 -- Arnswalder Flüchtlinge in Dänemark -- Verschleppung und Vertreibung aus dem Kreis Arnswalde, Neuanfang im Nachkriegsdeutschland -- Zeitleiste : Arnswalde im Jahr 1945 -- Bürgermeister Dr. Wilhelm Tuchows Schilderung der Kämpfe und Räumung von Arnswalde -- Brief an Landesrat Schultze-Plotzius -- Ostdokumentationsbericht -- Brief an Fritz Mörke über den 14.-16.2.1945 -- Brief an Fritz Mörke über den 16.-21.2.1945 -- Superintendent Georg Gramlows Erlebnisse im eingeschlossenen Arnswalde -- Generalmajor Hans Voigts Bericht über ; die Kämpfe um Arnswalde -- Auszug aus "Die Kämpfe um und in Arnswalde" -- Ostdokumentationsbericht : "Die Kämpfe um den 'Festen Platz' Arnswalde 29. Januar-21. Februar 1945" -- Reinhold Schulz' Evakuierung nach Anklam und Flucht über die Ostsee -- Traute Rühlmanns Flucht von Arnswalde nach Dänemark -- Emil Pracejus' Flucht, Rückkehr und Vertreibung aus Arnswalde -- Leo Lotzkats Flucht und Verschleppung aus Zühlsdorf -- Dora Münchs Evakuierung aus Reetz und Erlebnisse während der Besatzungszeit -- G. Timmann über Krankenpflege unter sowjetischer und polnischer Verwaltung -- Die sowjetische Besatzungszeit im Kreis Arnswalde -- Verschleppungen und Evakuierungen -- Verwaltung der Städte und Orte -- Der Umgang mit der deutschen Bevölkerung -- Sowjetische Vergehen in nationalsozialistischer Propaganda -- Leben unter polnischer Verwaltung -- Übergabe der Verwaltung an Polen -- Arbeits- und Gesundheitsbedingungen -- Zusammenleben von Deutschen und Polen -- Die Vertreibung der deutschen Bevölkerung -- Ausweisungen im Juli 1945 -- Ausweisungen zwischen Spätsommer 1945 und 1947 -- Überblick über die Ausweisungen aus den Orten im Kreis Arnswalde -- Neuanfang in Westdeutschland : Werner Riepes Briefe an Elfriede Gehrke -- ; Anhang -- ; Abkürzungsverzeichnis -- ; Literatur-und Quellenverzeichnis -- ; Literatur -- Archivalische Quellen -- Archiv der Stiftung Brandenburg, Fürstenwalde -- Bundesarchiv (Ostdokumentation), Bayreuth -- Persönliche Auskünfte -- Findbuch -- Bestandsgeschichte und Bestandsbearbeitung -- Nachtrag vom 19. Dezember 2019 -- Verzeichnung der Archivalien -- Architektur und allgemeine Ansichten -- Kultur, Sport und Vereinswesen -- Schulwesen und Bildung -- Religionen -- Wehrwesen, Militär -- Wirtschaft -- Verwaltung, Behörden, Presse -- Personen -- Flucht und Vertreibung -- Sonstiges -- Ortsindex Findbuch -- ; Personenregister -- ; Ortsregister -- ; Bildanhang.
• Sommario/riassunto: Lange Zeit blieb Arnswalde im Zweiten Weltkrieg von militärischen Auseinandersetzungen verschont. Erst Anfang Februar 1945 belagerten sowjetische Truppen die Stadt. Tausende Bewohner konnten nicht mehr rechtzeitig fliehen und wurden in Arnswalde eingeschlossen. Zwei Wochen lang bangten sie um ihr Leben; bis die deutsche Wehrmacht sie schließlich vom Feind unbemerkt aus der Stadt schleusen konnte. In dieser Quellenedition kommen neben Autoritätspersonen vor allem einfache Bürger zu Wort; die eindrucksvoll von ihrer Flucht aus der eingeschlossenen Stadt berichten; von ihrer Rückkehr in die Heimat; ihrer späteren Vertreibung und von den Schwierigkeiten beim Neuanfang westlich der Oder in einer Gesellschaft; die sie nicht wollte. "Man bleibt eben immer ,der Flüchtling'; etwas bemitleidet; geduldet; manchem allein schon durch seinen Anblick lästig; da er nur zu sehr an die Vergänglichkeit irdischen Besitzes erinnert"; schrieb der Arnswalder Lehrer Werner Riepe 1946 an seine Lebensgefährtin. Seine Einschätzung scheint angesichts heutiger politischer und gesellschaftlicher Entwicklungen immer noch erschreckend aktuell zu sein.