Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Linguistics --- Natural language processing (Computer science) --- Software engineering --- Software engineering. --- Arts and Humanities --- Information Technology --- Mathematical Sciences --- Language & Linguistics --- Information Science and Systems --- Applied Mathematics --- Natürliche Sprache --- Sprachverarbeitung --- Zeitschrift --- Online-Ressource --- Netzpublikation --- Online-Publikation --- Computerdatei im Fernzugriff --- Online-Dokument --- On-line-Dokument --- On-line-Publikation --- Periodikum --- Zeitschriften --- Maschinelle Sprachverarbeitung --- Sprachsignalverarbeitung --- Speech processing --- Automatische Sprachverarbeitung --- Computer software engineering --- NLP (Computer science) --- Presse --- Fortlaufendes Sammelwerk --- Signalverarbeitung --- Automatische Spracherkennung --- Sprache --- Engineering --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Elektronische Publikation --- Computers --- Use of --- Natural language

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Legal Theory draws contributions not only from academic law, but from a wide range of related disciplines in the humanities and social sciences, including philosophy, political science, economics, history and sociology. Topics covered fall mainly into the broad categories of analytical and normative jurisprudence, doctrinal theory, policy analyses of legal doctrines and critical theories of law.

Legal theory and methods. Philosophy of law --- Law --- Philosophy --- Periodicals --- Law (Philosophical concept) --- Arts and Humanities --- History --- Law. --- Philosophy. --- Jurisprudence --- Jurisprudence. --- Sociologia jurídica --- Dret --- Filosofia --- Ciències jurídiques --- Ordenament jurídic --- Règim jurídic --- Sistema jurídic --- Jurisprudència --- Legislació

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This work is an innovative and controversial study of how four famous Jews writing in Russian in the early Soviet period attempted to resolve the conflict between their cultural identity and their place in Revolutionary Russia. Babel, Mandelstam, Pasternak, and Ehrenburg struggled in very different ways to form creative selves out of the contradictions of origins, outlook, and social or ideological pressures. Efraim Sicher also explores the broader context of the literature and art of the Jewish avant-garde in the years immediately preceding and following the Russian Revolution. By comparing literary texts and the visual arts the author reveals unexpected correspondences in the response to political and cultural change. This study contributes to our knowledge of an important aspect of modern Russian writing and will be of interest to both Jewish scholars and those concerned with Slavonic studies.

Russian literature --- Littérature russe --- Jewish authors --- History and criticism --- Auteurs juifs --- Histoire et critique --- Erenburg, Il'ia, --- Babel', I. --- Mandel'shtam, Osip, --- Pasternak, Boris Leonidovich, --- Soviet Union --- URSS --- History --- Literature and the revolution --- Histoire --- Littérature et révolution --- Jews in literature. --- Jews --- Judaism and literature --- Intellectual life. --- History and criticism. --- Babelʹ, I. --- Mandelʹshtam, Osip, --- Ėrenburg, Ilʹi͡a, --- Criticism and interpretation. --- Literature and the revolution. --- Littérature russe --- Ėrenburg, Ilʹi͡a, --- Littérature et révolution --- Ėrenburg, Ilʹi︠a︡,

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area.

Constructive mathematics. --- Proposition (Logic) --- Computational complexity. --- Language and logic --- Logic --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Complexity, Computational --- Electronic data processing --- Machine theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Seeger, Ruth Crawford --- -Criticism and interpretation --- Seeger, Ruth Crawford, --- Seeger, Ruth Porter Crawford, --- Crawford, Ruth, --- Crawford-Seeger, Ruth, --- Criticism and interpretation. --- Criticism and interpretation