Wyniki wyszukiwania
liczba wyników: 217
-
Mathematical & statistical software Algorithms & data structures Data encryption Data capture & analysis Mathematical logicElsevier Science, 2001 ISBN: 9780080496467Opis:A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the...
Czytaj dalejPLN cena katalogowa brutto -
Mechanical engineering & materials Analytical chemistry Maths for engineers Mathematical & statistical software Algorithms & data structuresElsevier Science, 2002 ISBN: 9780080534954Opis:This book provides an introduction to chemical engineering analysis- which reviews the processes and designs used to manufacture, use, and dispose of...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 1988 ISBN: 9780080570884Opis:These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 1998 ISBN: 9780080533704Opis:Recursive Algebra, Analysis and Combinatorics
Czytaj dalejPLN cena katalogowa brutto -
Contributions to Non-Standard Analysis
Lev D. Beklemishev
Elsevier Science, 2000 ISBN: 9780080954806Opis:Contributions to Non-Standard Analysis
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2013 ISBN: 9780080506227Opis:This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for...
Czytaj dalejPLN cena katalogowa brutto -
Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematicsElsevier Science, 2014 ISBN: 9780080917283Opis:This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...
Czytaj dalejPLN cena katalogowa brutto -
Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematicsHandbook of Proof Theory
S.R. Buss
Elsevier Science, 1998 ISBN: 9780080533186Opis:This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
Czytaj dalejPLN cena katalogowa brutto -
Provability, Computability and Reflection
Lev D. Beklemishev
Elsevier Science, 2009 ISBN: 9780080954714Opis:Provability, Computability and Reflection
Czytaj dalejPLN cena katalogowa brutto -
Provability, Computability and Reflection
Lev D. Beklemishev
Elsevier Science, 2000 ISBN: 9780080954738Opis:Provability, Computability and Reflection
Czytaj dalejPLN cena katalogowa brutto
- Dostęp bezpłatny
- Dostęp testowy
- Open Access
- Subskrybcja
- Z limitem czasowym
- Kupione na właśność