Mathematics, Computer Science And Logic

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift [Repost]

Peter Paule - Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift
Published: 2013-09-18 | ISBN: 3319009656 | PDF | 113 pages | 4.59 MB

Mathematics, Computer Science and Logic - A Never Ending Story (Repost)  eBooks & eLearning

Posted by roxul at Dec. 27, 2013
Mathematics, Computer Science and Logic - A Never Ending Story (Repost)

Peter Paule, "Mathematics, Computer Science and Logic - A Never Ending Story"
English | 2013 | ISBN: 3319009656 | 120 pages | PDF | 4,6 MB
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift by Peter Paule
English | 2013 | ISBN: 3319009656 | 120 pages | PDF | 4,6 MB

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

Boolean Models and Methods in Mathematics, Computer Science, and Engineering  eBooks & eLearning

Posted by arundhati at June 12, 2014
Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Yves Crama, Peter L. Hammer, "Boolean Models and Methods in Mathematics, Computer Science, and Engineering"
2010 | ISBN-10: 0521847524 | 780 pages | PDF | 5 MB

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by Stéphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)

Logic for Computer Science and Artificial Intelligence (repost)  eBooks & eLearning

Posted by interes at Nov. 16, 2015
Logic for Computer Science and Artificial Intelligence (repost)

Logic for Computer Science and Artificial Intelligence (ISTE) by Ricardo Caferra
English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Logic of Mathematics: A Modern Course of Classical Logic (Repost)  eBooks & eLearning

Posted by nebulae at May 15, 2014
Logic of Mathematics: A Modern Course of Classical Logic (Repost)

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
English | 1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Logic of Mathematics: A Modern Course of Classical Logic  eBooks & eLearning

Posted by arundhati at Aug. 2, 2013
Logic of Mathematics: A Modern Course of Classical Logic

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Logic for Computer Science and Artificial Intelligence (ISTE)  eBooks & eLearning

Posted by Grev27 at April 24, 2013
Logic for Computer Science and Artificial Intelligence (ISTE)

Ricardo Caferra, "Logic for Computer Science and Artificial Intelligence (ISTE)"
English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB
An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic (PCS))

An Introduction to Quantum Computing Algorithms
(Progress in Computer Science and Applied Logic (PCS))
By Arthur O. Pittenger

Publisher: Birkhäuser Boston | 138 pages | 2001-01-10 | ISBN: 0817641270 | PDF | 10.044 MB