Search Results - "Mathematical logic"

81

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceeding...

Published 2013

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

Electronic

82

Ontology Matching

by Euzenat, J©♭r©þme., Shvaiko, Pavel.
Published 2013

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

Electronic

83

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Published 2013

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

Electronic

84

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /

Published 2013

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

Electronic

85

Ultimate Explanations of the Universe

by Heller, Michael.
Published 2009

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

Electronic

86

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications /

by Triantaphyllou, Evangelos.
Published 2010

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

Electronic

87

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 August 2, 2013. Proceedings /

Published 2013

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

Electronic

88

Time for Verification Essays in Memory of Amir Pnueli /

Published 2010

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

Electronic

89

L.E.J. Brouwer Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life /

by Dalen, Dirk.
Published 2013

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

Electronic

90

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /

by Mogavero, Fabio.
Published 2013

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

Electronic

91

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics /

Published 2009

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

Electronic

92

Pattern Calculus Computing with Functions and Structures /

by Jay, Barry.
Published 2009

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

Electronic

93

Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /

Published 2009

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

Electronic

94

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers /

Published 2010

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

Electronic

95

Proof Theory for Fuzzy Logics

by Metcalfe, George., Olivetti, Nicola., Gabbay, Dov.
Published 2009

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

Electronic

96

Recasting Reality Wolfgang Paulis Philosophical Ideas and Contemporary Science /

Published 2009

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

Electronic

97

Paraconsistency: Logic and Applications

Published 2013

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

Electronic

98

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /

Published 2013

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

Electronic

99

Industrial Deployment of System Engineering Methods

Published 2013

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

Electronic

100

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers...

Published 2009

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

Electronic

Narrow Search