161
Generalized Quantifiers and Computation [E-Book] : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
162
Computer Science Logic [E-Book] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
163
Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
164
Typed Lambda Calculi and Applications [E-Book] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
165
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:
166
Logics in Artificial Intelligence [E-Book] : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
167
Rewriting Techniques and Applications [E-Book] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
168
Computer Science Logic [E-Book] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
169
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:
170
Sets, logic, and categories [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
171
In the light of logic / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
172
Theory Reasoning in Connection Calculi [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
173
Theorem Proving in Higher Order Logics [E-Book] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Felty, Amy
1997
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
174
Computational Logic and Proof Theory [E-Book] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
175
Category Theory and Computer Science [E-Book] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
176
Structures in Logic and Computer Science [E-Book] : A Selection of Essays in Honor of A. Ehrenfeucht /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
177
Typed Lambda Calculi and Applications [E-Book] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
178
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
179
Logical Foundations of Computer Science [E-Book] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
180
Handbook of logic and language [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:

Narrow Search Results