Wyniki wyszukiwania
liczba wyników: 83
-
Categorical Logic and Type Theory
B. Jacobs
Elsevier Science, 2001 ISBN: 9780080929781Opis:This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of...
Czytaj dalejPLN cena katalogowa brutto -
Logic Colloquium '85
The Paris Logic Group
Elsevier Science, 1987 ISBN: 9780444535825Opis:The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of...
Czytaj dalejPLN cena katalogowa brutto -
A Mathematical Introduction to Logic
Herbert B. Enderton
Elsevier Science, 1972 ISBN: 9780080570389Opis:This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 1997 ISBN: 9780080507163Opis:This book teaches you how to design a fuzzy controller and shares the author's experience of design and applications. It is the perfect book for you...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 1989 ISBN: 9780080867809Opis:This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at...
Czytaj dalejPLN cena katalogowa brutto -
Production & quality control management Artificial intelligence Mathematical logic Industrial chemistry BiotechnologyElsevier Science, 1995 ISBN: 9780080565699Opis:Volumes 21 and 22 of Advances in Chemical Engineering contain ten prototypical paradigms which integrate ideas and methodologies from artificial...
Czytaj dalejPLN cena katalogowa brutto -
Coherent Systems
Karl Schlechta
Elsevier Science, 2004 ISBN: 9780080502199Opis:One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 1996 ISBN: 9780080533087Opis:This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science...
Czytaj dalejPLN cena katalogowa brutto -
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
Dov M. Gabbay
John Woods
Elsevier Science, 2005 ISBN: 9780080460925Opis:The present work is a continuation of the authors' acclaimed multi-volume APractical Logic of Cognitive Systems. After having investigated the notion...
Czytaj dalejPLN cena katalogowa brutto -
Mathematical Analysis and Proof
David S G Stirling
Elsevier Science, 2009 ISBN: 9780857099341Opis:This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof...
Czytaj dalejPLN cena katalogowa brutto
- Dostęp bezpłatny
- Dostęp testowy
- Open Access
- Subskrybcja
- Z limitem czasowym
- Kupione na właśność