Search Results - "Mathematical logic"

61

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

62

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

63

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems /

by Hardin, Christopher S., Taylor, Alan D.
Published 2013

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

64

Generalized Measure Theory

by Wang, Zhenyuan., Klir, George J.
Published 2009

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

65

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

66

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

67

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasl̕ia, Brazil, June 29 - July 1, 2009 Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

68

Quantum Mechanics, Mathematics, Cognition and Action Proposals for a Formalized Epistemology /

Published 2002

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

69

Verification and Control of Hybrid Systems A Symbolic Approach /

by Tabuada, Paulo.
Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

70

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion /

by Hinkis, Arie.
Published 2013

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

71

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

72

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

73

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

74

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

75

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

76

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

77

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /

by Pudlk̀, Pavel.
Published 2013

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

78

Mathematical Olympiad Challenges

by Andreescu, Titu., Gelca, R<U+0003>zvan.
Published 2009

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

79

Formal Methods: State of the Art and New Directions

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

80

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Published 2013

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

Narrow Search