Search Results - "Mathematical logic"

101

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /

Published 2009

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

Electronic

102

Logic and Philosophy of Mathematics in the Early Husserl

by Centrone, Stefania.
Published 2010

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

Electronic

103

Argumentation in Artificial Intelligence

Published 2009

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

Electronic

104

Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings /

Published 2009

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

Electronic

105

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed C...

Published 2013

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

Electronic

106

A Missing Link in Cybernetics Logic and Continuity /

by Andrew, Alex M.
Published 2009

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

Electronic

107

Logicism, Intuitionism, and Formalism What has Become of Them? /

Published 2009

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

Electronic

108

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Published 2013

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

Electronic

109

The q-theory of Finite Semigroups

by Rhodes, John., Steinberg, Benjamin.
Published 2009

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

Electronic

110

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /

Published 2010

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

Electronic

111

Mathematics of Fuzzy Sets and Fuzzy Logic

by Bede, Barnabas.
Published 2013

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

Electronic

112

Stochastic Calculus with Infinitesimals

by Herzberg, Frederik.
Published 2013

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

Electronic

113

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Pap...

Published 2013

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

Electronic

114

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

Published 2013

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

Electronic

115

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /

Published 2013

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

Electronic

116

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /

Published 2013

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

Electronic

117

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /

Published 2013

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

Electronic

118

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D<U+00fc>sseldorf, Germany, August 2013. Proceedings...

Published 2013

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

Electronic

119

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallě, France, June 18-21, 2013. Proceedings /

Published 2013

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

Electronic

120

Modelling Computing Systems Mathematics for Computer Science /

by Moller, Faron., Struth, Georg.
Published 2013

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

Electronic

Narrow Search