Mathematical Foundations of Computer Science Sets, Relations, and Induction

Mathematical Foundations of Computer Science Sets, Relations, and Induction / by Peter A. Fejer, Dan A. Simovici.

Збережено в:

Бібліографічні деталі
Автори:	Fejer, Peter A. (Автор), Simovici, Dan A. (Автор)
Співавтор:	SpringerLink (Online service)
Формат:	eКнига
Мова:	English
Опубліковано:	New York, NY : Springer New York : Imprint: Springer, 1991.
Редагування:	1st ed. 1991.
Серія:	Monographs in Computer Science, Springer eBook Collection.
Предмети:	Combinatorics. Numerical analysis. Computer logic. Mathematical logic. Electronic resources (E-books)
Онлайн доступ:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Схожі ресурси

Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Опубліковано: (1995)

Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
за авторством: Engeler, Erwin
Опубліковано: (1993)

Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Опубліковано: (1999)

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Опубліковано: (2013)

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Опубліковано: (2012)

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Опубліковано: (2014)

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Опубліковано: (2015)

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Опубліковано: (2016)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Опубліковано: (2014)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Опубліковано: (2015)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Опубліковано: (2014)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Опубліковано: (2015)

A Basis for Theoretical Computer Science
за авторством: Arbib, M.A, та інші
Опубліковано: (1981)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Опубліковано: (2014)

Problems and Exercises in Discrete Mathematics
за авторством: Gavrilov, G.P, та інші
Опубліковано: (1996)

Fundamentals of Computation Theory 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Опубліковано: (1995)

Relations and Graphs Discrete Mathematics for Computer Scientists
за авторством: Schmidt, Gunther, та інші
Опубліковано: (1993)

STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
Опубліковано: (1992)

Abduction and Induction Essays on their Relation and Integration
Опубліковано: (2000)

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Опубліковано: (2018)

Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Опубліковано: (1989)

Fundamentals of Computation Theory 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
Опубліковано: (1991)

Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Опубліковано: (1993)

STACS 91 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
Опубліковано: (1991)

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Опубліковано: (2005)

Where Mathematics, Computer Science, Linguistics and Biology Meet Essays in honour of Gheorghe Păun
Опубліковано: (2001)

Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Опубліковано: (1993)

Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Опубліковано: (2004)

Banach Spaces and Descriptive Set Theory: Selected Topics
за авторством: Dodos, Pandelis
Опубліковано: (2010)

Foundations of Image Understanding
Опубліковано: (2001)

Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Опубліковано: (1995)

Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Опубліковано: (1995)

Automata, Languages and Programming 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Опубліковано: (1989)

A Beginner’s Guide to Discrete Mathematics
за авторством: Wallis, W.D
Опубліковано: (2003)

A Beginner's Guide to Discrete Mathematics
за авторством: Wallis, W.D
Опубліковано: (2012)

Methods and Applications of Error-Free Computation
за авторством: Gregory, R. T., та інші
Опубліковано: (1984)

STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Опубліковано: (1988)

Combinatorics and Computer Science 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers
Опубліковано: (1996)

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Опубліковано: (2019)

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
за авторством: Soifer, Alexander
Опубліковано: (2009)