You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Manly Modern, the first major book on the history of masculinity in Canada, traces the history of what happened when men's supposed modernity became one of their defining features. Through a series of case studies covering such diverse subjects as car culture, mountaineering, war veterans, murder trials, and a bridge collapse, Christopher Dummitt argues that the very idea of what it meant to be modern was gendered. A strong current of anti-modernist sentiment bubbled just beneath the surface of postwar masculinity, creating rumblings about the state of modern manhood that, ironically, mirrored the tensions that burst forth in 1960s gender radicalism.
Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematic...
The Mahanoy area in Schuylkill County is the heart of the anthracite coal region. It is quintessentially defined by hardworking individuals who made their livings around the mining industry, but the area was also the foundation of family fortunes, longstanding business ventures, and political intrigue. Real estate mogul Charles D. Kaier began the mostup-to-date brewery of the day here; early resident John Smith built his lavish fourteen-room mansion for $40,000 in 1908; and the controversial Mollie Maguires--a secret society of Irish coal miners who used violence against mining hierarchy--were based here.
Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career. He is universally admired as a long-standing pillar of the discipline of computer science. He has contributed to the development of fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning as well as in the area of compiler optimization. Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph. He is credited with introducing the systematic study of algorithmic aspects in i...
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.