1
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:
2
Infinity and truth [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
3
Recent progress in the Boolean domain [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
4
Logic, computation, hierarchies [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
5
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011 / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
6
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
7
Eleventh Scandinavian Conference on Artificial Intelligence : SCAI 2011 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
8
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
9
Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
10
Logic Colloquium 2006 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:
11
New perspectives on games and interaction / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
12
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
13
Symbolic computation and education / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
14
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas [E-Book] /
Gao, Su
2007
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:
15
Logic Colloquium 2005 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:
16
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
17
Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
18
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:
19
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical Congresses....”

Full text 
Favorites
Saved in:
20
Advances in Linear Logic [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical -- Congresses....”

Full text 
Favorites
Saved in:

Narrow Search Results