Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings (Bog, Paperback / softback, Engelsk)The papers present current research from a thriving theoretical community and a rapidly... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the revised selected papers fromthe 12th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Bog, Paperback / softback, Engelsk)Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Bog, Hardback, Engelsk)Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Correct System Design: Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Bog, Paperback / softback, Engelsk)This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Cellular Automata: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Abductive Reasoning and Learning (Bog, Paperback / softback, Engelsk)This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Ultralogic as Universal?: The Sylvan Jungle - Volume 4 (Bog, Hardback, Engelsk)A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can.Routley provides an expansive and singular vision of how a universal logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Scientific Philosophy (Bog, Hardback, Engelsk)This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reading, Writing, and Proving: A Closer Look at Mathematics (Bog, Hardback, Engelsk)This book, which is based on Pólya's method of problem solving, aids students in their transition from calculus (or precalculus) to higher-level mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Introduction to the Language of Mathematics (Bog, Hardback, Engelsk)This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
