Joanna Lindenbaum's Books

Dual Tableaux: Foundations, Methodology, Case Studies

By: Ewa Orlowska,Joanna Golińska Pilarek

Write a review Read reviews Take a Quiz Solve Book Puzzle

Dual Tableaux: Foundations, Methodology, Case Studies

By: Ewa Orlowska,Joanna Golińska Pilarek

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

517

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9400700059

ISBN 13

9789400700055

Mathematical Foundations of Computer Science 2005

30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

By: Joanna Jedrzejowicz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mathematical Foundations of Computer Science 2005

30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

By: Joanna Jedrzejowicz

This book constitutes the refereed proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 revised full papers presented together with full papers or abstracts of 7 invited talks were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from quantum computing, approximation, automata, circuits, scheduling, games, languages, discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

829

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540287027

ISBN 13

9783540287025

The Changing Faces of Childhood Cancer

Clinical and Cultural Visions since 1940

By: Joanna Baines,Emm Barnes Johnstone

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Changing Faces of Childhood Cancer

Clinical and Cultural Visions since 1940

By: Joanna Baines,Emm Barnes Johnstone

This book traces the development of British answers to the problem of childhood cancer. The establishment of the NHS and better training for paediatricians, meant children were given access to experimental chemotherapy, sending cure rates soaring. Children with cancer were thrust into the spotlight as individuals' stories of hope hit the headlines.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

249

Publisher

Springer

Published Date

ISBN 10

113735352X

ISBN 13

9781137353528

Book's by Joanna Lindenbaum

Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies

Mathematical Foundations of Computer Science 2005

Mathematical Foundations of Computer Science 2005

The Changing Faces of Childhood Cancer

The Changing Faces of Childhood Cancer

Username

Password

Username

Password

Password again

Birthday

Email