1
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text  Full text 
Favorites
Saved in:
2
The P=NP Question and Gödel’s Lost Letter [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

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

Full text 
Favorites
Saved in:
4
Theoretische Informatik [E-Book] : Eine umfassende Einführung /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
5
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:
6
Parameterized Complexity Theory [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
7
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:
8
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:
9
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:
10
Theory and Applications of Satisfiability Testing [E-Book] : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
11
Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
12
Computability and Complexity in Analysis [E-Book] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical...”

Full text 
Favorites
Saved in:
13
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:

Narrow Search Results