1
Logic and Games on Automatic Structures [E-Book] : Playing with Quantifiers and Decompositions /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
2
Tools for Teaching Logic [E-Book] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
3
Conditionals and Modularity in General Logics [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

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

Full text 
Favorites
Saved in:
5
From Boolean Logic to Switching Circuits and Automata [E-Book] : Towards Modern Information Technology /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
6
Logical Tools for Handling Change in Agent-Based Systems [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
7
Cognitive Research [E-Book] : A Formal Approach /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
8
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:
9
New Developments in Formal Languages and Applications [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

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

Full text 
Favorites
Saved in:
11
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
12
Computer Science Logic [E-Book] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
13
Computer Science Logic (vol. # 4207) [E-Book] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
14
Commonsense reasoning / [E-Book]
Subject (ZB): “...Logic, Symbolic and mathematical Data processing....”

Full text 
Favorites
Saved in:
15
Theory and Applications of Satisfiability Testing - SAT 2006 [E-Book] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
16
Theory and Applications of Satisfiability Testing (vol. # 3542) [E-Book] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
17
Mechanizing Mathematical Reasoning [E-Book] / Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
18
Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Ong, Luke.
2005
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
19
Processes, Terms and Cycles: Steps on the Road to Infinity [E-Book] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
20
Theory and Applications of Satisfiability Testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:

Narrow Search Results