• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Mathematics - Logic

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2944077]
• Literatura piękna
 [1814251]

  więcej...
• Turystyka
 [70679]
• Informatyka
 [151074]
• Komiksy
 [35590]
• Encyklopedie
 [23169]
• Dziecięca
 [611005]
• Hobby
 [136031]
• AudioBooki
 [1718]
• Literatura faktu
 [225599]
• Muzyka CD
 [379]
• Słowniki
 [2916]
• Inne
 [443741]
• Kalendarze
 [1187]
• Podręczniki
 [166463]
• Poradniki
 [469211]
• Religia
 [506887]
• Czasopisma
 [481]
• Sport
 [61343]
• Sztuka
 [242115]
• CD, DVD, Video
 [3348]
• Technologie
 [219293]
• Zdrowie
 [98602]
• Książkowe Klimaty
 [124]
• Zabawki
 [2385]
• Puzzle, gry
 [3504]
• Literatura w języku ukraińskim
 [260]
• Art. papiernicze i szkolne
 [7151]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 5173

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Fundamentals of Functions and Measure Theory Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev 9783110550092 De Gruyter
Fundamentals of Functions and Measure Theory

ISBN: 9783110550092 / Angielski / Twarda / 478 str.

ISBN: 9783110550092/Angielski/Twarda/478 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Valeriy K. Zakharov;Timofey V. Rodionov;Alexander V. Mikhalev

The series is devoted to the publication of monographs and high-level textbooks in mathematics, mathematical methods and their applications. Apart from covering important areas of current interest, a major aim is to make topics of an interdisciplinary nature accessible to the non-specialist.

The works in this series are addressed to advanced students and researchers in mathematics and theoretical physics. In addition, it can serve as a guide for lectures and seminars on a graduate level.

The series de Gruyter Studies in Mathematics was founded ca. 30 years ago by the late...

The series is devoted to the publication of monographs and high-level textbooks in mathematics, mathematical methods and their applications. Apart ...

cena: 700,93

 KI 2017: Advances in Artificial Intelligence: 40th Annual German Conference on Ai, Dortmund, Germany, September 25-29, 2017, Proceedings Kern-Isberner, Gabriele 9783319671895 Springer
KI 2017: Advances in Artificial Intelligence: 40th Annual German Conference on Ai, Dortmund, Germany, September 25-29, 2017, Proceedings

ISBN: 9783319671895 / Angielski / Miękka / 396 str.

ISBN: 9783319671895/Angielski/Miękka/396 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gabriele Kern-Isberner; Johannes Furnkranz; Matthias Thimm

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.

The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.

The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation...

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany i...

cena: 201,24

 Simple Relation Algebras Steven Givant Hajnal Andreka 9783319676951 Springer
Simple Relation Algebras

ISBN: 9783319676951 / Angielski / Twarda / 622 str.

ISBN: 9783319676951/Angielski/Twarda/622 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Steven Givant; Hajnal Andreka
cena: 523,30

 Raymond Smullyan on Self Reference Melvin Fitting Brian Rayman 9783319687315 Springer
Raymond Smullyan on Self Reference

ISBN: 9783319687315 / Angielski / Twarda / 195 str.

ISBN: 9783319687315/Angielski/Twarda/195 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Melvin Fitting; Brian Rayman
cena: 442,79

 Beginning Julia Programming: For Engineers and Scientists Nagar, Sandeep 9781484231708 Apress
Beginning Julia Programming: For Engineers and Scientists

ISBN: 9781484231708 / Angielski / Miękka / 351 str.

ISBN: 9781484231708/Angielski/Miękka/351 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Sandeep Nagar
cena: 301,89

 Larisa Maksimova on Implication, Interpolation, and Definability Sergei Odintsov 9783319699165 Springer
Larisa Maksimova on Implication, Interpolation, and Definability

ISBN: 9783319699165 / Angielski / Twarda / 371 str.

ISBN: 9783319699165/Angielski/Twarda/371 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Sergei Odintsov
cena: 201,24

 Ai*ia 2017 Advances in Artificial Intelligence: Xvith International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, No Esposito, Floriana 9783319701684 Springer
Ai*ia 2017 Advances in Artificial Intelligence: Xvith International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, No

ISBN: 9783319701684 / Angielski / Miękka / 514 str.

ISBN: 9783319701684/Angielski/Miękka/514 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Floriana Esposito; Roberto Basili; Stefano Ferilli
This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017.The 37 full papers presented were carefully reviewed and selected from 91 submissions.
This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017...
cena: 201,24

 Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker Ohlbach, Hans Jürgen 9783662556511 Vieweg+Teubner
Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker

ISBN: 9783662556511 / Niemiecki / Miękka / 184 str.

ISBN: 9783662556511/Niemiecki/Miękka/184 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hans Jurgen Ohlbach; Norbert Eisinger
cena: 142,92

 Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings AHA, David W. 9783319610290 Springer
Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings

ISBN: 9783319610290 / Angielski / Miękka / 436 str.

ISBN: 9783319610290/Angielski/Miękka/436 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
David W. AHA; Jean Lieber
The theme of ICCBR-2017, "Analogy for Reuse", was highlighted in several events.These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning, analogical reasoning, CBR and Deep Learning, CBR in the Health Sciences, Computational Analogy, and Process-Oriented CBR.
The theme of ICCBR-2017, "Analogy for Reuse", was highlighted in several events.These papers, which are included in the proceedings, address many them...
cena: 201,24

 An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities Boole, George 9781781398579 Benediction Classics
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities

ISBN: 9781781398579 / Angielski / Miękka / 340 str.

ISBN: 9781781398579/Angielski/Miękka/340 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
George Boole
cena: 71,70

 New Essays on Frege: Between Science and Literature Bengtsson, Gisela 9783319711850 Springer
New Essays on Frege: Between Science and Literature

ISBN: 9783319711850 / Angielski / Twarda / 185 str.

ISBN: 9783319711850/Angielski/Twarda/185 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gisela Bengtsson; Simo Saatela; Alois Pichler
cena: 402,53

 Recent Trends in Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Se James, Phillip 9783319720432 Springer
Recent Trends in Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Se

ISBN: 9783319720432 / Angielski / Miękka / 223 str.

ISBN: 9783319720432/Angielski/Miękka/223 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Phillip James; Markus Roggenbach
cena: 201,24

 Collected Works in Ordered Structures and Mathematical Logic: Volume 1 Ribenboim, Paulo 9783319721408 Springer
Collected Works in Ordered Structures and Mathematical Logic: Volume 1

ISBN: 9783319721408 / Francuski / Twarda / 237 str.

ISBN: 9783319721408/Francuski/Twarda/237 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Paulo Ribenboim
cena: 402,53

 Collected Works in Ordered Structures and Mathematical Logic: Volume 2 Ribenboim, Paulo 9783319721439 Springer
Collected Works in Ordered Structures and Mathematical Logic: Volume 2

ISBN: 9783319721439 / Angielski / Twarda / 621 str.

ISBN: 9783319721439/Angielski/Twarda/621 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Paulo Ribenboim
Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaboration with Lou van dem Dries, and more recent papers with Sibylla Priess-Crampe on mathematical logic programming and Ultrametric spaces.
Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaborat...
cena: 603,81

 Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks Muhammad Usman Vallipuram Muthukkumarasamy Xin-Wen Wu 9789811074660 Springer
Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

ISBN: 9789811074660 / Angielski / Twarda / 139 str.

ISBN: 9789811074660/Angielski/Twarda/139 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Muhammad Usman; Vallipuram Muthukkumarasamy; Xin-Wen Wu
This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks;
This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constraine...
cena: 201,24

 Photographic Memory: 2 Books -
Photographic Memory: 2 Books - "Advanced Strategies and Techniques For Remembering More & Learning Faster" and "How to Train Your Brain to

ISBN: 9781979627825 / Angielski / Miękka / 132 str.

ISBN: 9781979627825/Angielski/Miękka/132 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Russell Davis; T. Whitmore
cena: 84,92

 Structures and Algorithms: Mathematics and the Nature of Knowledge Fenstad, Jens Erik 9783319729732 Springer
Structures and Algorithms: Mathematics and the Nature of Knowledge

ISBN: 9783319729732 / Angielski / Twarda / 134 str.

ISBN: 9783319729732/Angielski/Twarda/134 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jens Erik Fenstad
cena: 442,79

 Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers Gheorghe, Marian 9783319733586 Springer
Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers

ISBN: 9783319733586 / Angielski / Miękka / 293 str.

ISBN: 9783319733586/Angielski/Miękka/293 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Marian Gheorghe; Grzegorz Rozenberg; Arto Salomaa
This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017. The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions.
This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017....
cena: 254,57

 Simply Gödel Tieszen, Richard 9781943657155 Great Lives
Simply Gödel

ISBN: 9781943657155 / Angielski / Miękka / 160 str.

ISBN: 9781943657155/Angielski/Miękka/160 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 38,49

 Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics Martino, Enrico 9783319743561 Springer
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

ISBN: 9783319743561 / Angielski / Twarda / 170 str.

ISBN: 9783319743561/Angielski/Twarda/170 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Enrico Martino
This book examines the role of acts of choice in classical and intuitionistic mathematics.
This book examines the role of acts of choice in classical and intuitionistic mathematics.
cena: 402,53

Pierwsza Podprzednia  169  170  171  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia