Search Results - Association for Symbolic Logic

1

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

Published 2009

Subjects: '; “...Logic, Symbolic and mathematical....”
Get full text

Electronic

2

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

Published 2013

Table of Contents: '; “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
Get full text

Electronic

3

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

4

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic, Symbolic and mathematical....”
Get full text

Electronic

5

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected...

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

6

Handbook of research on innovations in database technologies and applications current and future trends /

Published 2009

Table of Contents: '; “... on Symbolic Data Analysis -- 10. Database Engineering Supporting the Data Evolution -- 11. Versioning Approach...”
View fulltext via EzAccess

Electronic

Narrow Search