You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
First multi-year cumulation covers six years: 1965-70.
""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s.
Mathematical modelling is often spoken of as a way of life, referring to habits of mind and to dependence on the power of mathematics to describe, explain, predict and control real phenomena. This book aims to encourage teachers to provide opportunities for students to model a variety of real phenomena appropriately matched to students' mathematical backgrounds and interests from early stages of mathematical education. Habits, misconceptions, and mindsets about mathematics can present obstacles to university students' acceptance of a ''models-and-modelling perspective'' at this stage of mathematics education. Without prior experience in building, interpreting and applying mathematical models...
Includes entries for maps and atlases.
This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.