1
Perspectives of System Informatics [E-Book] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
2
Programming Logics [E-Book] : Essays in Memory of Harald Ganzinger /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
3
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
4
Perspectives of Systems Informatics [E-Book]: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
5
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book]: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
6
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
7
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
8
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
9
Automated Deduction—CADE-18 [E-Book] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
10
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
11
Logic for Programming and Automated Reasoning [E-Book] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
12
Logic Programming and Automated Reasoning [E-Book] : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:

Narrow Search Results